Articoli correlati a The Spin Verification System: Dimacs Workshop, August...
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description
Book by Workshop on the Spin Verification System 1996 New
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra usato
Condizioni: ottimoAncien livre de bibliothèque. Couverture...
Visualizza questo articolo
EUR 22,06
EUR 8,00 per la spedizione da Francia a Italia
Destinazione, tempi e costiRisultati della ricerca per The Spin Verification System: Dimacs Workshop, August...
Foto dell'editore
The Spin Verification System: Dimacs Workshop, August 5, 1996
Editore:
American Mathematical Society, 1997
ISBN 10: 0821806807
ISBN 13: 9780821806807
Antico o usato
Rilegato
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: 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. Codice articolo E-571-043
Quantità: 1 disponibili
Foto dell'editore
The Spin Verification System: Dimacs Workshop, August 5, 1996 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science)
Editore:
Oxford University Press 01.06.1997., 1997
ISBN 10: 0821806807
ISBN 13: 9780821806807
Antico o usato
Rilegato
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 370890
Quantità: 1 disponibili