Hoppa till sidans huvudinnehåll

Markus Roggenbach - Böcker

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

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Av Markus Roggenbach, Antonio Cerone m. fl

Inbunden, Engelska, 2022

669 kr

Skickas inom 7-10 vardagar

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Av Markus Roggenbach, Antonio Cerone m. fl

Häftad, Engelska, 2023

509 kr

Skickas inom 7-10 vardagar

On the Construction of Engineering Handbooks

with an Illustration from the Railway Safety Domain

Av Stefan Gruner, Apurva Kumar m. 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

Av Antonio Cerone, Markus Roggenbach

Häftad, Engelska, 2021

689 kr

Skickas inom 10-15 vardagar

Recent Trends in Algebraic Development Techniques

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

Av Markus Roggenbach

Häftad, Engelska, 2021

739 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

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

Häftad, Engelska, 2023

1 099 kr

Skickas inom 10-15 vardagar

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, Engelska, 2017

739 kr

Skickas inom 10-15 vardagar

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, Engelska, 2005

739 kr

Skickas inom 10-15 vardagar