Markus Roggenbach

Popular items by Markus Roggenbach

View all offers

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

Item prices starting from

US$ 41.57

View 33 offers

Also find
New, Used
Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers (Theoretical Computer Science and General Issues)

Item prices starting from

US$ 58.65

View 8 offers

Also find
New, Used
Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised ... Computer Science and General Issues)

Item prices starting from

US$ 58.65

View 6 offers

Also find
New, Used
Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers (Communications in Computer and Information...

Item prices starting from

US$ 54.93

View 12 offers

Also find
New, Used
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

Item prices starting from

US$ 54.93

View 14 offers

Also find
New, Used
Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)

Item prices starting from

US$ 57.63

View 10 offers

Also find
New, Used