Immagine di copertina: Formale Modelle der Softwareentwicklung 9783834806697

Formale Modelle der Softwareentwicklung

Model-Checking, Verifikation, Analyse und Simulation

  • Autore(i) Stephan Kleuker
  • Editore Pubblicato da Vieweg+Teubner Verlag Copyright © 2009
  • "ISBN-13 9783834806697"
  • Formato Layout fisso

eBook

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

Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation è scritto da Stephan Kleuker e pubblicato da Vieweg+Teubner Verlag. Gli ISBN digitali e di eTextbook per Formale Modelle der Softwareentwicklung sono 9783834895950, 3834895954 e gli ISBN per la versione cartacea sono 9783834806697, 3834806692. Risparmia fino al 80% rispetto alla versione cartacea passando al digitale con VitalSource.

Torna all'inizio