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

999 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 239 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

919 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 159 kr

Skickas inom 10-15 vardagar

Hagenberg Research

Av Bruno Buchberger, Michael Affenzeller m. fl

Inbunden, Engelska, 2009

2 169 kr

Skickas inom 10-15 vardagar

Hagenberg Research

Av Bruno Buchberger, Michael Affenzeller m. fl

Häftad, Engelska, 2010

2 169 kr

Skickas inom 10-15 vardagar