E-Book, Englisch, 400 Seiten
Reihe: Formal Approaches to Computing and Information Technology (FACIT)
Hinchey / Bowen Industrial-Strength Formal Methods in Practice
Erscheinungsjahr 2012
ISBN: 978-1-4471-0523-7
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Englisch, 400 Seiten
Reihe: Formal Approaches to Computing and Information Technology (FACIT)
ISBN: 978-1-4471-0523-7
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark




