Cover Image
Saved in:

The correctness-by-construction approach to programming

Main Author: Kourie, Derrick.
Corporate Author: SpringerLink (Online service)
Other Authors: Watson, Bruce W.
Format: Online Book
Language:English
Published: Berlin ; New York : Springer, c2012.
Subjects:
Online Access:Online version
Tags: Add Tag
No Tags, Be the first to tag this record!