Items related to The Spin Verification System: Dimacs Workshop, August...
The Spin Verification System: Dimacs Workshop, August 5, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE) - Hardcover
Synopsis
SPIN is a general tool for specifying and formally verifying software for distributed systems, and used to detect design errors in a wide range of applications. The 13 papers include theoretical and foundational perspectives of formal verification, empirical studies of the effectiveness of different types of algorithms, practical applications of the SPIN verifier, and discussions of extensions and revisions of the basic code. No index. Annotation c. by Book News, Inc., Portland, Or.
"synopsis" may belong to another edition of this title.
Search results for The Spin Verification System: Dimacs Workshop, August...
Stock Image
The Spin Verification System: Dimacs Workshop, August 5, 1996
Published by
American Mathematical Society, 1997
ISBN 10: 0821806807
ISBN 13: 9780821806807
Used
Hardcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-571-043
Quantity: 1 available
Stock Image
The Spin Verification System: Dimacs Workshop, August 5, 1996 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science)
Published by
Oxford University Press 01.06.1997., 1997
ISBN 10: 0821806807
ISBN 13: 9780821806807
Used
Hardcover
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. 203 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 969 26,0 x 18,4 x 1,6 cm, Gebundene Ausgabe. Seller Inventory # 370890
Quantity: 1 available