Markus Roggenbach

Beliebte Artikel von Markus Roggenbach

Alle Angebote anzeigen

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed

Artikelpreise ab

EUR 36,57

13 Angebote anzeigen

Entdecken Sie auch
Neu
On the Construction of Engineering Handbooks: with an Illustration from the Railway Safety Domain (SpringerBriefs in Computer Science)
Gruner, Stefan; Kumar, Apurva; Maibaum, Tom; Roggenbach, Markus

Artikelpreise ab

EUR 61,27

4 Angebote anzeigen

Entdecken Sie auch
Neu
Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers ... Science and General Issues, Band 12669)

Artikelpreise ab

EUR 61,27

6 Angebote anzeigen

Entdecken Sie auch
Neu, Antiquarisch
Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised ... Science and General Issues, Band 10644)

Artikelpreise ab

EUR 61,27

4 Angebote anzeigen

Entdecken Sie auch
Neu
Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers ... Computer and Information Science, Band 1301)

Artikelpreise ab

EUR 61,27

7 Angebote anzeigen

Entdecken Sie auch
Neu, Antiquarisch
Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, Band 14165)

Artikelpreise ab

EUR 79,80

6 Angebote anzeigen

Entdecken Sie auch
Neu, Antiquarisch