Program Verification: Fundamental Issues in Computer Science: 14 (Studies in Cognitive Systems, 14)

by J.H. Fetzer (Editor), R.L. Rankin (Editor), Timothy Colburn (Editor)

New
Illustrated
1993
$549.43

$549.43

Quantity

20+ in stock

More Information

Format: Illustrated
Pages: 471
Edition: 1993
Publisher: Springer
Published: 31 Jan 1993
ISBN 10: 0792319656
ISBN 13: 9780792319658

Program Verification: Fundamental Issues in Computer Science: 14 (Studies in Cognitive Systems, 14)

New

$549.43

$549.43

More Information