Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
Das Buch dokumentiert die sechste IFM‑Konferenz in Oxford, präsentiert neue theoretische Ansätze zu formalen Methoden und zeigt deren Anwendung in komplexen Softwaresystemen anhand konkreter Beispiele.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE
Gesponsert
Galaxus.de
Integrated Formal Methods, Fachbücher von Jim Davies, Jeremy Gibbons
Galaxus.de
11-05-2026 00:27:46
Ähnliche Produkte
Integrated Formal Methods
130.31 EUR