Roggenbach, Markus books & textbook
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
Springer /2022-06-23 Hardcover / 552 Pages
isbn-10: 3030387992 / isbn-13: 9783030387990
Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers (Communications in Computer and Information Science)
Cerone, Antonio Roggenbach, Markus
Springer /2021-03-11 Paperback / 240 Pages
isbn-10: 3030713733 / isbn-13: 9783030713737
Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings (Lecture Notes in Computer Science, 3629)
Fiadeiro, José Luis Harman, Neil Roggenbach, Markus Rutten, Jan
Springer /2005-08-18 Paperback / 468 Pages
isbn-10: 3540286209 / isbn-13: 9783540286202
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)
Springer /2021-04-11 Paperback / 176 Pages
isbn-10: 3030737845 / isbn-13: 9783030737849
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)
James, Phillip Roggenbach, Markus
Springer /2017-12-08 Paperback / 233 Pages
isbn-10: 3319720430 / isbn-13: 9783319720432
Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)
Haxthausen, Anne E. Huang, Wen-ling Roggenbach, Markus
Springer /2023-08-17 Paperback / 348 Pages
isbn-10: 303140131X / isbn-13: 9783031401312
