You might also like

More about FM 2016: Formal Methods

• Book details
• Synopsis
• Trending among others

You get 125 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer science Human-computer interaction

• Full title: FM 2016: Formal Methods
• Subtitle: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
• Author: John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou
• Language: English
• Binding: Paperback
• Number of pages: 789
• EAN: 9783319489889
• ISBN: 3319489887
• ID: 15194749
• Publisher: Springer International Publishing AG
• Weight: 1212 g
• Dimensions: 235 × 155 × 46 mm
• Date of publishing: 08. November 2016

---

---

---