The Spin Verification System: Dimacs Workshop, August 5, 1996 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science). Questo articolo non è disponibile.
Lingua: inglese
Editore: Oxford University Press 01.06.1997., 1997
- Rilegato
- Usato
Da: NEPO UG, Rüsselsheim am Main, GermaniaNEPO UG
Venditore con 5 stelle
Venditore AbeBooks dal 15 novembre 2018
Non disponibile
Rilegato
Condizione: Usato - Ottimo
EUR 27,57
Descrizione dell’articolo da parte del venditore
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
- Titolo
- The Spin Verification System: Dimacs Workshop, August 5, 1996 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science)
- Autore
- Workshop, on the Spin Verification), Jean-Charles Gregoire and Gerard J. Holzmann
- Editore
- Oxford University Press 01.06.1997.
- Anno di pubblicazione
- 1997
- Condizione
- Sehr gut
- Rilegatura
- Rilegato
- Lingua
- inglese
- ISBN 10
- 0821806807
- ISBN 13
- 9780821806807
- Peso dell'articolo
- 969 grammi
- Cataloghi dei venditori
- Alle Bücher
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.
"Riassunto" può appartenere a un’altra edizione di questo titolo.
Sinossi
Book by Workshop on the Spin Verification System 1996 New
"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.