Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings - Lecture Notes in Computer Science - - Bøker - Springer Nature Switzerland AG - 9783030393212 - 7. februar 2020
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings - Lecture Notes in Computer Science 2020 edition

Pris
₪ 265

Bestillingsvarer

Forventes levert 28. okt - 4. nov
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings - Lecture Notes in Computer Science 2020 edition

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

471 pages, 63 Illustrations, color; 918 Illustrations, black and white; XIV, 471 p. 981 illus., 63 i

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 7. februar 2020
ISBN13 9783030393212
Utgivere Springer Nature Switzerland AG
Antall sider 471
Mål 234 × 155 × 29 mm   ·   744 g
Språk Tysk  
Redaktør Beyer, Dirk, Ph. D.
Redaktør Zufferey, Damien