|
|
The Correctness-by-Construction Approach to Programming
von: Derrick G. Kourie, Bruce W. Watson
Springer-Verlag, 2012
ISBN: 9783642279195
273 Seiten,
Download: 3033 KB
Format: PDF
|
geeignet für:
|
|
Typ: B (paralleler Zugriff)
|
|
|
|
|
|
Blick ins Buch |
|
|
Titelbild
|
Bitte beachten Sie:
Die dargestellten Bilddaten sollen Ihnen einen ersten Eindruck vom Aussehen des Buches vermitteln. Die gelieferten eBooks haben eine noch bessere Auflösung.
|
|
|
|
|
|
Mehr zum Inhalt |
|
|
|
|
Navigation |
|
|
|
Info |
|