Items related to Formal Methods for Software Engineering: Languages,...

Formal Methods for Software Engineering: Languages, Methods, Application Domains - Softcover

Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger

 
9783030388010: Formal Methods for Software Engineering: Languages, Methods, Application Domains
Softcover
ISBN 10: 3030388018 ISBN 13: 9783030388010
Publisher: Springer, 2022

This specific ISBN edition is currently not available.

  • PublisherSpringer
  • Publication date2022
  • ISBN 10 3030388018
  • ISBN 13 9783030388010
  • BindingPaperback
  • LanguageEnglish
  • Number of pages554

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  3030387992 ISBN 13:  9783030387990
Publisher: Springer, 2022
Hardcover