Wolfgang Schreiner – författare

Visar alla böcker från författaren Wolfgang Schreiner.

6 produkter

Kategorier

6 produkter

Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
AvWolfgang Schreiner
Häftad, Engelska, 2022
1 249 kr
Skickas inom 5-8 vardagar
Concrete Abstractions
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
AvWolfgang Schreiner
Inbunden, Engelska, 2023
1 069 kr
Skickas inom 10-15 vardagar
Concrete Abstractions
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
AvWolfgang Schreiner
Häftad, Engelska, 2024
789 kr
Skickas inom 10-15 vardagar
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
AvWolfgang Schreiner
Inbunden, Engelska, 2025
999 kr
Skickas inom 10-15 vardagar
Hagenberg Research
AvBruno Buchberger,Michael Affenzellerm. fl.
Inbunden, Engelska, 2009
2 189 kr
Skickas inom 10-15 vardagar
Hagenberg Research
AvBruno Buchberger,Michael Affenzellerm. fl.
Häftad, Engelska, 2010
2 189 kr
Skickas inom 10-15 vardagar