Koha online

Normal view MARC view ISBD view

Kourie, Derrick G.

Correctness-by-Construction Approach to Programming - Berlin: Springer, 2012 - xiii, 264 p.; ill.: 25 cm.

ISBN: 9783642279188 hbk

Subjects--Topical Terms:
Formal methods
Lattice Cover Graph
MADFA
SEMAT
Logic design
Software engineering

Dewey Class. No.: 005.1 / KOU