Siirry suoraan sisältöön
  1. Kirjat
  2. Englanninkieliset kirjat

Verification, Model Checking, and Abstract Interpretation

96,60 €

Alaotsikko
27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings
ISBN
9783032156990
Kieli
englanti
Paino
281 grammaa
Julkaisupäivä
13.1.2026
Sivumäärä
410