Immagine di copertina: Theoretical and Practical Aspects of SPIN Model Checking 1st edition 9783540664994

Theoretical and Practical Aspects of SPIN Model Checking

5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings

1st Edizione

  • Autore(i) Dennis Dams; Robert Gerth; Stefan Leue; Mieke Massinek
  • Editore Pubblicato da Springer Copyright © 1999
  • "ISBN-13 9783540664994"
  • Formato Layout fisso

eBook

Licenza eTextbook
‌
€15.60 EUR
‌
‌

  • Strumenti di studio

    Strumenti di studio integrati come momenti salienti e altro

  • Leggi ad alta voce

    Ascolta e segui mentre Bookshelf legge il testo per te

  • Accesso offline

    Accedi al tuo eTextbook sempre e ovunque

  • Ricerca globale

    Cerca nel contenuto del libro, nelle figure e nella tua cartella di lavoro

Ulteriori informazioni

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings 1st Edizione è scritto da Dennis Dams; Robert Gerth; Stefan Leue; Mieke Massinek e pubblicato da Springer. Gli ISBN digitali e di eTextbook per Theoretical and Practical Aspects of SPIN Model Checking sono 9783540482345, 3540482342 e gli ISBN per la versione cartacea sono 9783540664994, 3540664998. Risparmia fino al 80% rispetto alla versione cartacea passando al digitale con VitalSource.

Torna all'inizio