gerard j. holzmann's books

product image The SPIN Model Checker: Primer and Reference Manual
product image Design And Validation Of Computer Protocols (Prentice Hall Software Series)
product image Beyond Photography: The Digital Darkroom
product image The Early History of Data Networks (Perspectives)
product image Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science)
product image The Spin Verification System: Dimacs Workshop, August 5, 1996 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science)
product image Manual for the protocol analyzer 'trace' (Computing science technical report)
product image Digital Darkroom Software
product image The SPIN Model Checker : Primer and Reference Manual






Electronics Kitchen Tools Books Music DVDs Watches & Jewelry Toys Drugstore Magazines Video Games Fashion


privacy policy
Find deals on Amazon.co.uk
In association with Amazon. All Orders Processed by Amazon. This site is not owned by Amazon.
Price is accurate as of the date/time indicated. Prices and product availability are subject to change. Any price displayed on the Amazon website at the time of purchase will govern the sale of this product.

rss feeds « RSS Feeds

Updated Hourly. Currently indexing 46672 deals and saving you $828,468.37 with an average discount of 61.4533%

Contact Us   built by Pete Freitag   hosting by cfdynamics