Theory and Practice of Formal MethodsErika Abraham

Theory and Practice of Formal Methods

Erika Abraham, Einar Broch Johnsen, Marcello Bonsangue · 2016

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: 2016
Language: English
Publisher: Springer International Publishing AG
Editions: 2
ISBN: 9783319307336

Data source: Wikidata

More by Erika Abraham

At The PinnacleErika Abraham

At The Pinnacle

Erika Abraham · 2018

Tools and Algorithms for the Construction and Analysis of SystemsErika Abraham

Tools and Algorithms for the Construction and Analysis of Systems

Erika Abraham · 2014