Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Full text!
Type:
e-book
Titel:
Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Auteur:
Schreiner, Wolfgang.
Taal:
Engels
Uitgever:
Cham Springer International Publishing AG 2023
ISBN:
3-031-24933-X
3-031-24934-8
Permalink:
http://bibtest.howest.be/catalog/ebk03:26428337000041