Markus Roggenbach – författare
Formal Methods for Software Engineering
Languages, Methods, Application Domains
679 kr
Skickas inom 5-8 vardagar
Formal Methods for Software Engineering
Languages, Methods, Application Domains
539 kr
Skickas inom 5-8 vardagar
On the Construction of Engineering Handbooks
with an Illustration from the Railway Safety Domain
699 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
679 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
719 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
1 079 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
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
719 kr
Skickas inom 10-15 vardagar