Hoppa till sidans huvudinnehåll

Wolfgang Schreiner - Böcker

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

Thinking Programs

Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Av Wolfgang Schreiner

Häftad, Engelska, 2022

979 kr

Skickas inom 10-15 vardagar

Concrete Abstractions

Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Av Wolfgang Schreiner

Inbunden, Engelska, 2023

1 189 kr

Skickas inom 10-15 vardagar

Concrete Abstractions

Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Av Wolfgang Schreiner

Häftad, Engelska, 2024

889 kr

Skickas inom 10-15 vardagar

Thinking Programs

Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Av Wolfgang Schreiner

Inbunden, Engelska, 2025

1 119 kr

Skickas inom 10-15 vardagar

Hagenberg Research

Av Bruno Buchberger, Michael Affenzeller m. fl

Inbunden, Engelska, 2009

2 109 kr

Skickas inom 10-15 vardagar

Hagenberg Research

Av Bruno Buchberger, Michael Affenzeller m. fl

Häftad, Engelska, 2010

2 109 kr

Skickas inom 10-15 vardagar