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

Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint ... ... Estonia, March 24 -- April 1, 2012, Proc - Brossura

 
9783642287572: Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint ... ... Estonia, March 24 -- April 1, 2012, Proc

Al momento non sono disponibili copie per questo codice ISBN.

  • EditoreSpringer
  • Data di pubblicazione2012
  • ISBN 10 3642287573
  • ISBN 13 9783642287572
  • RilegaturaPaperback
  • LinguaInglese
  • 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

9783540787990: Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, Tacas 2008, Held As Part of the Joint European ... March 29-april 6, 2008, Proceedings: 4963

Edizione in evidenza

ISBN 10:  3540787992 ISBN 13:  9783540787990
Casa editrice: Springer, 2008
Brossura