Gå direkte til innholdet
Concrete Abstractions
Spar

Concrete Abstractions

Undertittel
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
ISBN
9783031249358
Språk
Engelsk
Vekt
403 gram
Utgivelsesdato
12.4.2023
Antall sider
284