E-Book, Englisch, 466 Seiten
Reihe: Formal Approaches to Computing and Information Technology (FACIT)
Derrick / Boiten Refinement in Z and Object-Z
Erscheinungsjahr 2012
ISBN: 978-1-4471-0257-1
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Foundations and Advanced Applications
E-Book, Englisch, 466 Seiten
Reihe: Formal Approaches to Computing and Information Technology (FACIT)
ISBN: 978-1-4471-0257-1
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark




