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

Tools and Algorithms for the Construction and Analysis of Systems 1st Edizione
12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

Immagine di copertina: Tools and Algorithms for the Construction and Analysis of Systems 1st edition 9783540330561
  • Autore(i)
    Holger Hermanns; ‎Jens Palsberg
  • Editore
    Springer
  • Formato
    Layout fisso
  • ISBN versione cartacea 9783540330561, 3540330569
  • ISBN eText 9783540330578, 3540330577
  • Edizione
    1st
  • Copyright
    2006
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

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings 1st Edizione è scritto da Holger Hermanns; ‎Jens Palsberg e pubblicato da Springer. Gli ISBN digitali e di eTextbook per Tools and Algorithms for the Construction and Analysis of Systems sono 9783540330578, 3540330577 e gli ISBN per la versione cartacea sono 9783540330561, 3540330569. Risparmia fino al 80% rispetto alla versione cartacea passando al digitale con VitalSource.

Torna all'inizio