The Spin Model Checker

Primer and Reference Manual

Average vote of 0
| 0 total contributions of which 0 reviews , 0 quotes , 0 images , 0 notes , 0 video
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 ...Continua
- TIPS -
Nessun elemento trovato
Aggiungi per primo una recensione!

- TIPS -
Nessun elemento trovato
Aggiungi per primo una citazione!

- TIPS -
Nessun elemento trovato
Aggiungi per primo una immagine!

- TIPS -
Nessun elemento trovato
Aggiungi per primo una nota!

- TIPS -
Nessun elemento trovato
Aggiungi per primo un video!

Lorem Ipsum Color sit Amet
di Nome Autore
Lorem ipsum dolor sit amet, consectetur Suspendisse varius consequat feugiat.
Scheda libro
Aggiungi