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

Formal Methods for Executable Software Models
14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Immagine di copertina: Formal Methods for Executable Software Models 9783319073163
  • Editore
    Springer
  • Formato
    Layout fisso
  • ISBN versione cartacea 9783319073163, 3319073168
  • ISBN eText 9783319073170, 3319073176
  • Copyright
    2014
Noleggia o acquista 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

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures e pubblicato da Springer. Gli ISBN digitali e di eTextbook per Formal Methods for Executable Software Models sono 9783319073170, 3319073176 e gli ISBN per la versione cartacea sono 9783319073163, 3319073168. Risparmia fino al 80% rispetto alla versione cartacea passando al digitale con VitalSource.

Torna all'inizio