[PDF.43en] SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science)
SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science)
From Springer
[PDF.rv15] SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science) Rating: 4.67 (461 Votes)
SPIN Model Checking and From Springer epub SPIN Model Checking and From Springer pdf download SPIN Model Checking and From Springer pdf file SPIN Model Checking and From Springer audiobook SPIN Model Checking and From Springer book review SPIN Model Checking and From Springer summary | #11760692 in Books | 2000-10-02 | Ingredients: Example Ingredients | Original language:English | PDF # 1 | 9.25 x.81 x6.10l,1.11 | File type: PDF | 340 pages|
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), developed by Gerard Holzmann, is one of the best known systems of this kind, and has attracted a large user community. This can likely be attributed to its e?cient state explor...
You can specify the type of files you want, for your device.SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science) | From Springer. I was recommended this book by a dear friend of mine.
