E-Book, Englisch, 232 Seiten
Reihe: Formal Approaches to Computing and Information Technology (FACIT)
Lano The B Language and Method
Erscheinungsjahr 2012
ISBN: 978-1-4471-1494-9
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
A Guide to Practical Formal Development
E-Book, Englisch, 232 Seiten
Reihe: Formal Approaches to Computing and Information Technology (FACIT)
ISBN: 978-1-4471-1494-9
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark




