Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, ...
(9783319955810) - Edition: 1st Edition 2018 - Height: 235 mm - Spine width: 2 mm - Width: 155 mm - Springer - Springer International Publishing - ISBN: 9783319955810 - Number of pages: 692 - Languages: English
