Markus Roggenbach

Beliebte Artikel von Markus Roggenbach

Alle Angebote anzeigen

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 51,45

4 Angebote anzeigen

Entdecken Sie auch
Neu, Antiquarisch
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 59,24

10 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 77,72

6 Angebote anzeigen

Entdecken Sie auch
Neu, Antiquarisch
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 75,46

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 76,41

4 Angebote anzeigen

Entdecken Sie auch
Neu