Immagine di copertina: Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 9783031737084

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I

  • Editore Pubblicato da Springer Copyright © 2025
  • "ISBN-13 9783031737084"
  • Formato Layout adattabile

eBook

Licenza eTextbook
‌
€24.96 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

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I e pubblicato da Springer. Gli ISBN digitali e di eTextbook per Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola sono 9783031737091, 3031737091 e gli ISBN per la versione cartacea sono 9783031737084, 3031737083. Risparmia fino al 80% rispetto alla versione cartacea passando al digitale con VitalSource.

Torna all'inizio