Online Library TheLib.net » Author books / Книги автора Wolfgang Schreiner
book Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
epub
00
01.03.2024
0
0
Read online
book Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
pdf
00
15.02.2024
0
0
Read online
book Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
epub
00
08.02.2024
0
0
Read online
book Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
pdf
00
08.02.2024
0
0
Read online