Take a photo of a barcode or cover
Read With Others
Book Information
308 pages • paperback • 9 editions
ISBN/UID: 9783540331025
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 01 Apr 2006
Description
The name "SPIN" refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an annual forum for practitioners and researchersinterested in state space-based techniques for the validation and analysis of sof...
Community Reviews
Content Warnings
308 pages • paperback
ISBN/UID: 9783540331025
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 01 Apr 2006
Description
The name "SPIN" refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an annual forum for practitioners and researchersinterested in state space-based techniques for the validation and analysis of sof...
Community Reviews
Content Warnings