E-Book, Englisch, 159 Seiten
Reihe: Formal Approaches to Computing and Information Technology (FACIT)
Morgan / Vickers On the Refinement Calculus
Erscheinungsjahr 2012
ISBN: 978-1-4471-3273-8
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Englisch, 159 Seiten
Reihe: Formal Approaches to Computing and Information Technology (FACIT)
ISBN: 978-1-4471-3273-8
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark




