
Formal Methods
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Synopsis
Om denne bog
- Sprog:English
- ISBN:9783319955827
- Udgivelsesdato:1. aug. 2018
- Udgiver:Springer International Publishing
- Tryk:Springer
- Filformat:EPUB2
- Filstørrelse:11.57 MB
- Downloadmuligheder:EPUB2 (Adobe DRM)


