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

• Stores
• Characteristics
• Markus Roggenbach
• Similar products

Sponsored  This site contains affiliate links for which we may receive compensation. More information

+ Information about WHSmith

Sponsored Formal Methods for Software Engineering : Languages, Methods, Application Domains

54.99 GBP

Price updated on: 09-08-2026 22:13:01

View product deal

Identifiers
Dimensions / Weight
Key Features

Markus Roggenbach

Software Engineering and Formal Methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings

View Product

Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

View Product