Buy Used and New Bernd-Holger Schlingloff Books

Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings: 13550 (Lecture Notes in Computer Science, 13550)

by Bernd-Holger Schlingloff, Ming Chai

ISBN 13: 9783031171079

Format: Paperback (386 pages)
Publisher: Springer
Published: 21 Sep 2022

Save for later

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

ISBN 13: 9783030388027

Format: Paperback (552 pages)
Publisher: Springer
Published: 07 Jul 2023

Save for later