Result: The correctness-by-construction approach to programming

*Title*:

The correctness-by-construction approach to programming / Derrick G. Kourie ; Bruce W. Watson

*Author/editor-in-chief*:

*Publication*:

Berlin : Springer, 2012

*Physical description scale*:

XIII, 264 Seiten : Diagramme ; 25 cm

*Format*:

*book*

*Language*:

*eng*

*Notes*:

Literaturangaben

*Subject Added Keywords*:

*ISBN*:

9783642279188 ; 364227918X

*Result*: The correctness-by-construction approach to programming