Formal Methods – The Next 30 YearsMaurice H. ter Beek

Formal Methods – The Next 30 Years

Maurice H. ter Beek, Annabelle McIver, José N. Oliveira · 2019

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2019
Publisher: Springer
Editions: 1
Pages: 795
ISBN: 9783030309411

Data source: Wikidata

More by Maurice H. ter Beek

Integrated Formal MethodsMaurice H. ter Beek

Integrated Formal Methods

Maurice H. ter Beek · 2022

Formal Methods for Industrial Critical SystemsMaurice H. ter Beek

Formal Methods for Industrial Critical Systems

Maurice H. ter Beek · 2020

From Software Engineering to Formal Methods and Tools, and BackMaurice H. ter Beek

From Software Engineering to Formal Methods and Tools, and Back

Maurice H. ter Beek · 2019

Proceedings of the Eleventh International Workshop on Variability Modelling of Software-Intensive SystemsMaurice H. ter Beek

Proceedings of the Eleventh International Workshop on Variability Modelling of Software-Intensive Systems

Maurice H. ter Beek · 2017

Web Services and Formal MethodsMaurice H. ter Beek

Web Services and Formal Methods

Maurice H. ter Beek · 2013