Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, . (Lecture Notes in Computer Science, 10747)

ISBN 10: 3319737201 / ISBN 13: 9783319737201

Editore: Springer, 2018

Riguardo questo articolo

Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Codice articolo wbs4366913796

Dati bibliografici

Titolo: Verification, Model Checking, and Abstract ...

Casa editrice: Springer

Data di pubblicazione: 2018

Legatura: Brossura

Condizione: Very Good