E-Book, Englisch, 520 Seiten
Reihe: Texts in Computer Science
Back / Wright Refinement Calculus
Erscheinungsjahr 2012
ISBN: 978-1-4612-1674-2
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
A Systematic Introduction
E-Book, Englisch, 520 Seiten
Reihe: Texts in Computer Science
ISBN: 978-1-4612-1674-2
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark




