Derrick G. Kourie

New Releases

Language

Ebook Format

DRM

1 - 1 of 1 results

The Correctness-by-Construction Approach to Programming
Springer Berlin Heidelberg (2012)
US$89.21

Focusing on ways to bridge the gap between formal and more intuitive software programming, this...