booktheque

Formal Methods for Software Engineering

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider · 2023

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

View on Amazon

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year
2023
Language
English
Publisher
Springer International Publishing AG
Editions
3
ISBN
9783030388027

Data source: Wikidata