Formal Techniques for Distributed Objects, Components, and SystemsElvira Albert

Formal Techniques for Distributed Objects, Components, and Systems

Elvira Albert, Ivan Lanese · 2016

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: 2016
Language: English
Publisher: Springer
Editions: 3
Pages: 275
ISBN: 9783319395708

Data source: Wikidata

More by Elvira Albert

Logic-Based Program Synthesis and TransformationElvira Albert

Logic-Based Program Synthesis and Transformation

Elvira Albert · 2013

Integrated Formal MethodsElvira Albert

Integrated Formal Methods

Elvira Albert · 2014

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