YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 499.900,-    Phone: +49(176)74919078
     
     
Yurtseven.ORG
 Yurtseven.ORG
 

 
HOME host:www.usingz.com  Search for:  host:www.usingz.com



Showing  1 - 1  of total  1  results  [ 0.563  seconds ]  


 Yurtseven.ORG Programming Programming Languages Languages Z Z Books Books
  
 1 - Using Z: Specification, Refinement, and Proof Browse Website open in new window
    
   1 quotes  07-January-2012 
By Jim Woodcock, Jim Davies; Prentice Hall, 1996, ISBN 0139484728. Treats formal techniques and methods for software engineering via Z. Full text, slides, exercises, solutions, cards, contents. [University of Oxford, Online]


     [similar pages] 




SUPERINTELLIGENCE-HUMANITY
The Book of the 21. Century