An edition of The symbolic execution of software (1995)

The Symbolic Execution of Software

1st edition

by , , and

Cover of: The Symbolic Execution of Software by David Coward, Darrel Ince, David Coward, Darrel Ince, David Coward
Locate

My Reading Lists:

Create a new list

Check nearby libraries

Buy this book

Last edited by ImportBot
July 17, 2023 | History
Edit
An edition of The symbolic execution of software (1995)

The Symbolic Execution of Software

1st edition

by , , and

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
International Thomson Computer Press
Language
English
Pages
155

Check nearby libraries

Buy this book

Subjects

Computer programs Testing COBOL (Computer program language) Quality control Software engineering Computer software Case studies Computer Science Systems analysis & design Computers - General Information Computer science
Edition Availability
Cover of: The symbolic execution of software
The symbolic execution of software: the SYM-BOL system
1995, Chapman & Hall
in English
Cover of: The Symbolic Execution of Software
The Symbolic Execution of Software
January 15, 1995, International Thomson Computer Press
Paperback in English - 1st edition

Add another edition?

Book Details

The Physical Object

Format
Paperback
Number of pages
155

Edition Identifiers

Open Library
OL10184897M
ISBN 10
0412583402
ISBN 13
9780412583407
LibraryThing
6953999

Work Identifiers

Work ID
OL12864078W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS | Wikipedia citation