Articoli correlati a Tools and Algorithms for the Construction and Analysis...

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Pro - Brossura

 
9783642198366: Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Pro
Brossura
ISBN 10: 3642198368 ISBN 13: 9783642198366
Casa editrice: Springer, 2011

Al momento non sono disponibili copie per questo codice ISBN.

  • EditoreSpringer
  • Data di pubblicazione2011
  • ISBN 10 3642198368
  • ISBN 13 9783642198366
  • RilegaturaPaperback
  • LinguaInglese
  • Numero di pagine412
  • RedattoreAbdulla Parosh Aziz, Leino K. Rustan M.
  • Contatto del produttorenon disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783642198342: Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, Tacas 2011, Held As Part of the Joint European ... March 26--april 3, 2011, Proceedings: 6605

Edizione in evidenza

ISBN 10:  3642198341 ISBN 13:  9783642198342
Casa editrice: Springer-Nature New York Inc, 2011
Brossura