Program verification : fundamental issues in computer science :: ISBN 0792319656 :: Kluwer Academic Press 1993 :: OBNB, the Open British National Bibliography

Publication Data

Title Program verification : fundamental issues in computer science
Contributors Timothy R. Colburn, James H. Fetzer, Terry L. Rankin
Publisher Kluwer Academic Press
Publication date 1993
Publication location Dordrecht
Language English

Descriptive Notes

Bibliography: p429-443. - Includes indexes.

Topics

Computer software :: Verification

Catalogue Data

OBNB ID GB9312033
ISBN 10 0792319656
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.14

ISBD

P1053 xiii,457p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Program verification : fundamental issues in computer science. ISBN 0792319656. Published by Kluwer Academic Press in 1993. Publication and catalogue information, links to buy online and reader comments.