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 | |
ISBN | 0792319656
|
Utgitt | Dordrecht : Kluwer Academic , 1993
|
---|---|
Omfang | XIII, 457 s. : ill.
|
Emner | |
ISBN | 0792319656
|