EN ورود

کشف منابع

Wolfgang Schreiner

کتاب‌ها

2 نتیجه

Cover of Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

English Beginner

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Wolfgang Schreiner

2021 مشاهدهٔ کتاب

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

English Beginner

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

Wolfgang Schreiner

2023 مشاهدهٔ کتاب