The Spin Model Checker: Primer and Reference Manual

Valutazione media 4
( su 3 valutazioni fornite da GoodReads )
 
9780321773715: The Spin Model Checker: Primer and Reference Manual

The SPIN Model Checker is used for both teaching software verification techniques, and for validating large scale applications. The growing number of users has created a need for a more comprehensive user guide and a standard reference manual that describes the most recent version of the tool. This book fills that need. SPIN is used in over 40 countries. The offical SPIN web site, spinroot.com receives between 2500 and 3000 hits per day. It has been estimated that up to three-quarters of the $400 billion spent annually to hire programmers in the United States is ultimately spent on debugging

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Holzmann, Gerard
Editore: Prentice Hall
ISBN 10: 0321773713 ISBN 13: 9780321773715
Nuovi Quantità: > 20
Da
INDOO
(Avenel, NJ, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Prentice Hall. Condizione libro: New. Brand New. Codice libro della libreria 0321773713

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 54,66
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 16,50
Da: U.S.A. a: Italia
Destinazione, tempi e costi

2.

Gerard Holzmann
Editore: Addison-Wesley Professional (2003)
ISBN 10: 0321773713 ISBN 13: 9780321773715
Nuovi Paperback Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Addison-Wesley Professional, 2003. Paperback. Condizione libro: New. 1. Codice libro della libreria DADAX0321773713

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 76,82
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 12,83
Da: U.S.A. a: Italia
Destinazione, tempi e costi

3.

Holzmann, Gerard
Editore: Addison-Wesley Professional (2003)
ISBN 10: 0321773713 ISBN 13: 9780321773715
Nuovi Paperback Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Addison-Wesley Professional, 2003. Paperback. Condizione libro: New. book. Codice libro della libreria 0321773713

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 80,42
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 11,00
Da: U.S.A. a: Italia
Destinazione, tempi e costi

4.

Holzmann, Gerard
Editore: Addison-Wesley Professional (2011)
ISBN 10: 0321773713 ISBN 13: 9780321773715
Nuovi Paperback Quantità: 1
Da
Revaluation Books
(Exeter, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Addison-Wesley Professional, 2011. Paperback. Condizione libro: Brand New. 1st edition. 608 pages. 9.25x7.00x1.50 inches. In Stock. Codice libro della libreria 0321773713

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 100,24
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 17,67
Da: Regno Unito a: Italia
Destinazione, tempi e costi

5.

Holzmann, Gerard J.
Editore: Prentice Hall (2011)
ISBN 10: 0321773713 ISBN 13: 9780321773715
Nuovi Paperback Quantità: 1
Da
Media Mall
(Fyshwick, ACT, Australia)
Valutazione libreria
[?]

Descrizione libro Prentice Hall, 2011. Paperback. Condizione libro: New. Reprint. 17.78 x 23.5 cm. Our orders are sent from our warehouse locally or directly from our international distributors to allow us to offer you the best possible price and delivery time. Book. Codice libro della libreria MM-20623011

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 105,38
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 16,41
Da: Australia a: Italia
Destinazione, tempi e costi

6.

Holzmann, Gerard
Editore: Addison-Wesley Professional (2003)
ISBN 10: 0321773713 ISBN 13: 9780321773715
Nuovi Paperback Quantità: 2
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Addison-Wesley Professional, 2003. Paperback. Condizione libro: New. Codice libro della libreria P110321773713

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 105,19
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 18,33
Da: U.S.A. a: Italia
Destinazione, tempi e costi

7.

Holzmann, Gerard
Editore: Addison-Wesley Professional (2003)
ISBN 10: 0321773713 ISBN 13: 9780321773715
Nuovi Brossura Quantità: > 20
Da
Palexbooks
(Sanford, NC, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Addison-Wesley Professional, 2003. Condizione libro: New. Brand new! Please provide a physical shipping address. Codice libro della libreria 9780321773715

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 88,32
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 36,67
Da: U.S.A. a: Italia
Destinazione, tempi e costi

8.

Gerard Holzmann
ISBN 10: 0321773713 ISBN 13: 9780321773715
Nuovi Quantità: 1
Da
Castle Rock
(Pittsford, NY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: Brand New. Book Condition: Brand New. Codice libro della libreria 97803217737151.0

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 142,71
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 22,92
Da: U.S.A. a: Italia
Destinazione, tempi e costi