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

AvMarkus Roggenbach,Antonio Cerone m. fl.

Inbunden, Engelska, 2022

669 kr

Skickas inom 5-8 vardagar

Formal Methods for Software Engineering

Languages, Methods, Application Domains

AvMarkus Roggenbach,Antonio Cerone m. fl.

Häftad, Engelska, 2023

519 kr

Skickas inom 5-8 vardagar

On the Construction of Engineering Handbooks

with an Illustration from the Railway Safety Domain

AvStefan Gruner,Apurva Kumar m. fl.

Häftad, Engelska, 2020

689 kr

Skickas inom 10-15 vardagar

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

669 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

AvMarkus Roggenbach

Häftad, Engelska, 2021

709 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 Huang m. fl.

Häftad, Engelska, 2023

1 059 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

AvPhillip James,Markus Roggenbach

Häftad, Engelska, 2017

689 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 Harman m. fl.

Häftad, Engelska, 2005

709 kr

Skickas inom 10-15 vardagar