Constructing correct software

John Cooke
Bok · Engelsk · 2005

Utgitt	London : Springer , 2005
Omfang	XXI, 509 s. : ill.
Utgave	2nd ed.
Emner	Computer software - Development Formal methods (Computer science) Programutvikling
ISBN	1852338202