John Penix – författare
Visar alla böcker från författaren John Penix. Handla med fri frakt och snabb leverans.
2 produkter
SPIN Model Checking and Software Verification
7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
Av Klaus Havelund, John Penix m. fl.
Häftad, 2000
568 kr
Lägg i varukorg
The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?cation of asynchronous concurrent and distributed systems. The SPIN - del checker (http://netlib.bell-labs.com/netlib/spin/whatispin.html), …
SPIN Model Checking and Software Verification
7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
Av Willem Visser, John Penix m. fl.
E-bok, 2006
755 kr
Lägg i varukorg
The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?cation of asynchronous concurrent and distributed systems. The SPIN - del checker (http://netlib.bell-labs.com/netlib/spin/whatispin.html), …
