Articoli correlati a Verification, Model Checking, and Abstract Interpretation:...

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings - Brossura

 
9783030393236: Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings
Brossura
ISBN 10: 3030393232 ISBN 13: 9783030393236
Casa editrice: Springer, 2020

Al momento non sono disponibili copie per questo codice ISBN.

  • EditoreSpringer
  • Data di pubblicazione2020
  • ISBN 10 3030393232
  • ISBN 13 9783030393236
  • RilegaturaCopertina flessibile
  • LinguaInglese
  • Numero di pagine488
  • RedattoreBeyer Dirk, Zufferey Damien

(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

9783030393212: Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, ... USA, January 19-25, 2020, Proceedings: 11990

Edizione in evidenza

ISBN 10:  3030393216 ISBN 13:  9783030393212
Casa editrice: Springer, 2020
Brossura