Integrated Formal MethodsElvira Albert

Integrated Formal Methods

Elvira Albert, Emil Sekerinski · 2014

Where to buy

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

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

Book details

Year: 2014
Language: English
Publisher: Springer London, Limited
Editions: 2
ISBN: 9783319101811

Data source: Wikidata

More by Elvira Albert

Logic-Based Program Synthesis and TransformationElvira Albert

Logic-Based Program Synthesis and Transformation

Elvira Albert · 2013

Formal Techniques for Distributed Objects, Components, and SystemsElvira Albert

Formal Techniques for Distributed Objects, Components, and Systems

Elvira Albert · 2016

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program ManipulationElvira Albert

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation

Elvira Albert · 2013