Take a photo of a barcode or cover
Read With Others
Book Information
346 pages • paperback • 9 editions
ISBN/UID: 9783540410300
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 21 Aug 2000
Description
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:...
Community Reviews
Content Warnings
346 pages • paperback
ISBN/UID: 9783540410300
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 21 Aug 2000
Description
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:...
Community Reviews
Content Warnings