
Formal Methods
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Kurzbeschreibung
Zu diesem Buch
- Sprache:English
- ISBN:9783319955827
- Erscheinungsdatum:11. Juli 2018
- Herausgeber:Springer International Publishing
- Imprint:Springer
- Dateiformat:EPUB2
- Dateigröße:11.57 MB
- Downloadoptionen:EPUB2 (Adobe DRM)


