Siirry suoraan sisältöön
Concrete Abstractions
Tallenna

Concrete Abstractions

Alaotsikko
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
ISBN
9783031249358
Kieli
englanti
Paino
403 grammaa
Julkaisupäivä
12.4.2023
Sivumäärä
284