FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
1st ed. 2016
Book Details
AI Summary
Delivery Location
Delivery fee: Select location
This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The broad topics of interest for FM include: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software and systems engineering; theoretical foundations.
Get FM 2016: Formal Methods by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.
Discover books you might love based on this title.
More in This Genre
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Ksh 19,800.00
Specifying Software
Ksh 14,750.00
Getting Started with Istio Service Mesh
Ksh 7,200.00
Tools and Algorithms for the Construction and Analysis of Systems
Ksh 6,300.00
Making Knowledge Management Clickable
Ksh 11,700.00
Mobilizing the Information Society
Ksh 10,350.00
