Markus Roggenbach – författare

Visar alla böcker från författaren Markus Roggenbach.

8 produkter

1. 

   Formal Methods for Software Engineering

   Languages, Methods, Application Domains

   Av Markus Roggenbach, Antonio Cerone m. fl.

   Inbunden, 2022

   1159 kr

   Lägg i varukorg

2. 

   Formal Methods for Software Engineering

   Languages, Methods, Application Domains

   Av Markus Roggenbach, Antonio Cerone m. fl.

   Häftad, 2023

   869 kr

   Lägg i varukorg

3. 

   On the Construction of Engineering Handbooks

   with an Illustration from the Railway Safety Domain

   Av Stefan Gruner, Apurva Kumar m. fl.

   Häftad, 2020

   709 kr

   Lägg i varukorg

4. 

   Formal Methods – Fun for Everybody

   First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers

   Av Antonio Cerone, Markus Roggenbach

   Häftad, 2021

   689 kr

   Lägg i varukorg

5. 

   Recent Trends in Algebraic Development Techniques

   25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers

   Av Markus Roggenbach

   Häftad, 2021

   729 kr

   Lägg i varukorg

6. 

   Applicable Formal Methods for Safe Industrial Products

   Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

   Av Anne E. Haxthausen, Wen-ling Huang m. fl.

   Häftad, 2023

   1089 kr

   Lägg i varukorg

7. 

   Recent Trends in Algebraic Development Techniques

   23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

   Av Phillip James, Markus Roggenbach

   Häftad, 2017

   729 kr

   Lägg i varukorg

8. 

   Algebra and Coalgebra in Computer Science

   First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

   Av José Luis Fiadeiro, Neil Harman m. fl.

   Häftad, 2005

   729 kr

   Lägg i varukorg