Hoppa till sidans huvudinnehåll

Markus Roggenbach – författare

Visar alla böcker från författaren .
8 produkter
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh - Formal Methods for Software Engineering, Inbunden

Formal Methods for Software Engineering

Languages, Methods, Application Domains

AvMarkus Roggenbach,Antonio Ceronem. fl.

Inbunden, Engelska, 2022

719 kr

Skickas inom 5-8 vardagar

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh - Formal Methods for Software Engineering, Häftad

Formal Methods for Software Engineering

Languages, Methods, Application Domains

AvMarkus Roggenbach,Antonio Ceronem. fl.

Häftad, Engelska, 2023

549 kr

Skickas inom 5-8 vardagar

Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach - On the Construction of Engineering Handbooks, Häftad

On the Construction of Engineering Handbooks

with an Illustration from the Railway Safety Domain

AvStefan Gruner,Apurva Kumarm. fl.

Häftad, Engelska, 2020

709 kr

Skickas inom 10-15 vardagar

Antonio Cerone, Markus Roggenbach - Formal Methods – Fun for Everybody, Häftad
Del 1301 - Communications in Computer and Information Science

Formal Methods – Fun for Everybody

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

AvAntonio Cerone,Markus Roggenbach

Häftad, Engelska, 2021

689 kr

Skickas inom 10-15 vardagar

Markus Roggenbach - Recent Trends in Algebraic Development Techniques, Häftad
Del 12669 - Lecture Notes in Computer Science

Recent Trends in Algebraic Development Techniques

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

AvMarkus Roggenbach

Häftad, Engelska, 2021

729 kr

Skickas inom 10-15 vardagar

Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach - Applicable Formal Methods for Safe Industrial Products, Häftad

Applicable Formal Methods for Safe Industrial Products

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

AvAnne E. Haxthausen,Wen-ling Huangm. fl.

Häftad, Engelska, 2023

1 079 kr

Skickas inom 10-15 vardagar

Phillip James, Markus Roggenbach - Recent Trends in Algebraic Development Techniques, Häftad
Del 10644 - Lecture Notes in Computer Science

Recent Trends in Algebraic Development Techniques

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

AvPhillip James,Markus Roggenbach

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

José Luis Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten - Algebra and Coalgebra in Computer Science, Häftad

Algebra and Coalgebra in Computer Science

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

AvJosé Luis Fiadeiro,Neil Harmanm. fl.

Häftad, Engelska, 2005

729 kr

Skickas inom 10-15 vardagar