E-Book, Englisch, 701 Seiten
Reihe: Formal Approaches to Computing and Information Technology (FACIT)
Bowen / Hinchey High-Integrity System Specification and Design
Erscheinungsjahr 2012
ISBN: 978-1-4471-3431-2
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Englisch, 701 Seiten
Reihe: Formal Approaches to Computing and Information Technology (FACIT)
ISBN: 978-1-4471-3431-2
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark




