Take a photo of a barcode or cover
Read With Others
Book Information
262 pages • paperback • 9 editions
ISBN/UID: 9783540434771
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 27 Mar 2002
Description
The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems. Since 1995, when the SPIN workshop series was instigated, SPIN w...
Community Reviews
Content Warnings
262 pages • paperback
ISBN/UID: 9783540434771
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 27 Mar 2002
Description
The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems. Since 1995, when the SPIN workshop series was instigated, SPIN w...
Community Reviews
Content Warnings