Wolfgang Schreiner – författare

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

6 produkter

1. 

   Thinking Programs

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

   Av Wolfgang Schreiner

   Häftad, 2022

   1019 kr

   Lägg i varukorg

2. 

   Concrete Abstractions

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

   Av Wolfgang Schreiner

   Inbunden, 2023

   1069 kr

   Lägg i varukorg

3. 

   Concrete Abstractions

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

   Av Wolfgang Schreiner

   Häftad, 2024

   789 kr

   Lägg i varukorg

4. 

   Thinking Programs

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

   Av Wolfgang Schreiner

   Inbunden, 2025

   999 kr

   Lägg i varukorg

5. 

   Hagenberg Research

   Av Bruno Buchberger, Michael Affenzeller m. fl.

   Inbunden, 2009

   2199 kr

   Lägg i varukorg

6. 

   Hagenberg Research

   Av Bruno Buchberger, Michael Affenzeller m. fl.

   Häftad, 2010

   2199 kr

   Lägg i varukorg