• Soluzioni per l'istruzione e le imprese Si apre in una nuova finestra

Theoretical and Practical Aspects of SPIN Model Checking 1st Edizione
5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings

Immagine di copertina: Theoretical and Practical Aspects of SPIN Model Checking 1st edition 9783540664994
  • Autore(i)
    Dennis Dams; Robert Gerth; Stefan Leue; Mieke Massinek
  • Editore
    Springer
  • Formato
    Fisso
  • ISBN versione cartacea 9783540664994, 3540664998
  • ISBN eText 9783540482345, 3540482342
  • Edizione
    1st
  • Copyright
    1999
Noleggia o acquista eTextbook
‌‌
€15.60 EUR
‌

Il lettore di eTextbook numero uno al mondo per gli studenti. VitalSource è il principale fornitore di libri di testo e materiali didattici online. Oltre 15 milioni di utenti hanno utilizzato la nostra piattaforma Bookshelf nell'ultimo anno per migliorare la loro esperienza di apprendimento e i risultati ottenuti. Grazie all'accesso in qualsiasi momento e ovunque a strumenti integrati come evidenziatori, flashcard e gruppi di studio, è facile capire perché molti studenti scelgono di passare al digitale con Bookshelf.

  • Oltre 2,7 milioni titoli di oltre 1.000 case editrici disponibili

  • Oltre 65.000 recensioni dei clienti con una valutazione media di 9,5

  • Oltre 5 miliardi pagine digitali visualizzate negli ultimi 12 mesi

  • Oltre 7.000 istituti che utilizzano Bookshelf in 241 paesi

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