Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Der Band enthält die neuesten Beiträge der 13. Internationalen Konferenz zu Formalen Methoden in Turin, wobei theoretische Fortschritte mit konkreten Fallstudien aus Industrie und Forschung verknüpft werden.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings (Lecture Notes in Computer Science)
Medimops DE
09-06-2026 22:12:28
SpringerLink DE
Gesponsert
Galaxus.de
Integrated Formal Methods, Fachbücher von Steve Schneider, Nadia Polikarpova
Galaxus.de
09-06-2026 20:49:34
Ähnliche Produkte
Integrated Formal Methods
53.49 EUR
Integrated Formal Methods
130.31 EUR