Program verification : fundamental issues in computer science


edited by Timothy R. Colburn, James H. Fetzer and Terry L. Rankin
Bok Engelsk 1993
Utgitt
Dordrecht : Kluwer Academic , 1993
Omfang
XIII, 457 s. : ill.
Emner
Computer software - Verification
programutvikling verifikasjon
ISBN
0792319656

Bibliotek som har denne