Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, ... Notes in Computer Science, Band 10951)
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE
Gesponsert
Galaxus.de
Formal Methods, Fachbücher von Erik de Vink, Jan Peleska, Klaus Havelund, Bill Roscoe
Galaxus.de
13-05-2026 12:50:46
Ähnliche Produkte
Formal Methods for Safety and Security
90.94 EUR
Formal Methods for Safety and Security
128.39 EUR