• Soluzioni per l'istruzione e le imprese Si apre in una nuova finestra
Immagine di copertina: Verified Software. Theories, Tools, and Experiments 1st edition 9783030415990

Verified Software. Theories, Tools, and Experiments

11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers

1st Edizione

  • Autore(i) Supratik Chakraborty; ‎Jorge A. Navas
  • Editore Pubblicato da Springer Copyright © 2020
  • "ISBN-13 9783030415990"
  • Formato Layout adattabile

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

Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers 1st Edizione è scritto da Supratik Chakraborty; ‎Jorge A. Navas e pubblicato da Springer. Gli ISBN digitali e di eTextbook per Verified Software. Theories, Tools, and Experiments sono 9783030416003, 3030416003 e gli ISBN per la versione cartacea sono 9783030415990, 3030415996. Risparmia fino al 80% rispetto alla versione cartacea passando al digitale con VitalSource.

Torna all'inizio