Συγγραφέας: Jan van Eijck
Jan van Eijck: About Testing and Specification . . . and about First Order Logic (pdf, 68 pages)
Perhaps a word on my motivation to study your book: I am working for a software company (www.gmv.com) that is active in the area of critical software development. I am personally responsible for research programmes in the area of aeronautical and space on-board systems. |