Articoli correlati a Automated Technology for Verification and Analysis:...

Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings - Brossura

 
9783319249544: Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Brossura
ISBN 10: 3319249541 ISBN 13: 9783319249544
Casa editrice: Springer, 2016

Al momento non sono disponibili copie per questo codice ISBN.

  • EditoreSpringer
  • Data di pubblicazione2016
  • ISBN 10 3319249541
  • ISBN 13 9783319249544
  • RilegaturaPaperback
  • LinguaInglese
  • Numero di pagine536
  • RedattoreFinkbeiner Bernd, Pu Geguang, Zhang Lijun
  • 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

9783319249520: Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings: 9364

Edizione in evidenza

ISBN 10:  3319249525 ISBN 13:  9783319249520
Casa editrice: Springer, 2015
Brossura