Formal Methods: 22nd International Symposium, FM 2018

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, ...

A richly detailed proceedings from FM 2018, offering in-depth research on formal verification, logical frameworks, and model‑checking techniques, complete with rigorous proofs and practical examples.

Brand: Klaus Havelund

ISBN: 3319955810

Deals
Characteristics

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

Sponsored CHECK PRODUCTS/PRICES ON THE WEBSITE

eBay

Access to the deal

Edition	1st Edition 2018
Height	235 mm
Imprint	Springer
ISBN	9783319955810
Languages	English
Number of pages	692
Publisher	Springer International Publishing
Spine width	2 mm
Weight	1068 g
Width	155 mm

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, ...

Sponsored CHECK PRODUCTS/PRICES ON THE WEBSITE

Related products

Best prices and offers

Save on every purchase

Detailed information

The power to choose

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, ...

Sponsored CHECK PRODUCTS/PRICES ON THE WEBSITE

Related products

Arqueologia y Techne: Metodos formales, nuevos enfoques : Archaeology and Techne: Formal methods, new approaches

Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude

The B Language and Method: A Guide to Practical Formal Development

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