Aufgrund einer technischen Störung sind wir derzeit telefonisch nicht erreichbar. Wir arbeiten bereits an der Behebung. Vielen Dank für Ihr Verständnis.
E-Book, Deutsch, 258 Seiten
Reihe: Springer-Lehrbuch
Apt / Olderog Programmverifikation
Erscheinungsjahr 2013
ISBN: 978-3-642-57947-9
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Sequentielle, parallele und verteilte Programme
E-Book, Deutsch, 258 Seiten
Reihe: Springer-Lehrbuch
ISBN: 978-3-642-57947-9
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark




