Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, ...
A dense collection of papers from FM 2018, showcasing advanced formal techniques, model‑checking breakthroughs, and logical frameworks that push the boundaries of software verification research.
Share: ![]()
![]()
![]()
![]()
![]()
![]()
eBay
| Brand | Klaus Havelund |
| ASIN | 3319955810 |
| ISBN | 3319955810 |
| EAN | 9783319955810 |
| 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 |
Related products
Formal Methods for Autonomous Systems
143.96 GBP