The symbolic execution of software : the SYM-BOL system :: David Coward :: ISBN 0412583402 :: Chapman & Hall 1995 :: OBNB, the Open British National Bibliography

Publication Data

Title The symbolic execution of software : the SYM-BOL system
Author David Coward
Contributor Darrel Ince
Publisher Chapman & Hall
Publication date 1995
Publication location London
Language English

Descriptive Notes

Bibliography: p147-151. _ Includes index.

Topics

Computer programs :: Testing
Computer programs :: Testing :: Case studies
COBOL (Computer program language)
Computer software :: Quality control

Catalogue Data

OBNB ID GB9504116
ISBN 10 0412583402
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.14

ISBD

P1053 vi,155p.

Buy a copy

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

The symbolic execution of software : the SYM-BOL system by David Coward. ISBN 0412583402. Published by Chapman & Hall in 1995. Publication and catalogue information, links to buy online and reader comments.