Name: Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, Jan
SKU: 9783030393212
Price: 81.00 EUR
Availability: BackOrder

Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, Jan

Dirk Beyer, Damien Zufferey

81,00 €

Springer Nature Switzerland AG
Sivumäärä: 471 sivua
Asu: Pehmeäkantinen kirja
Painos: 2020 ed.
Julkaisuvuosi: 2020, 07.02.2020 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 11990

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.

LISÄÄ OSTOSKORIIN

Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.

Haluan myydä tämän tuotteen

Ryhmätilaus-
laskuri

Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, Jan

Näytä kaikki tuotetiedot

ISBN:

9783030393212

Aihealue:

Ulkomaiset kirjat » Computers » Computer Science

Tilaustuote