• Soluzioni per l'istruzione e le imprese Si apre in una nuova finestra
Immagine di copertina: Leveraging Applications of Formal Methods, Verification, and Validation 1st edition 9783642347801

Leveraging Applications of Formal Methods, Verification, and Validation

International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

1st Edizione

  • Autore(i) Reiner Hähnle; ‎Jens Knoop; ‎Tiziana Margaria
  • Editore Pubblicato da Springer Copyright © 2012
  • "ISBN-13 9783642347801"
  • 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

VitalSource Oltre 25 anni di trasformazione digitale

  • 4500 Istituti

  • Oltre 230 Paesi e regioni

  • Oltre 10.000 Editori

  • Oltre 18 mln Utenti attivi

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers 1st Edizione è scritto da Reiner Hähnle; ‎Jens Knoop; ‎Tiziana Margaria e pubblicato da Springer. Gli ISBN digitali e di eTextbook per Leveraging Applications of Formal Methods, Verification, and Validation sono 9783642347818, 3642347819 e gli ISBN per la versione cartacea sono 9783642347801, 3642347800. Risparmia fino al 80% rispetto alla versione cartacea passando al digitale con VitalSource.

Torna all'inizio