Hoppa till sidans huvudinnehåll

Markus Roggenbach – författare

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

Formal Methods for Software Engineering

Languages, Methods, Application Domains

AvMarkus Roggenbach,Antonio Ceronem. fl.

Inbunden, Engelska, 2022

699 kr

Skickas inom 5-8 vardagar

Formal Methods for Software Engineering

Languages, Methods, Application Domains

AvMarkus Roggenbach,Antonio Ceronem. fl.

Häftad, Engelska, 2023

529 kr

Skickas inom 5-8 vardagar

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

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

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

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 089 kr

Skickas inom 10-15 vardagar

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

719 kr

Skickas inom 10-15 vardagar

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

719 kr

Skickas inom 10-15 vardagar