The Symbolic Execution of Software
Edition: 1st edition
Publisher: International Thomson Computer Press
Published: January 15, 1995
Language: eng
Format: Paperback
Number of pages: 155
ISBN-13: 9780412583407
Subjects: Computer Science; Software engineering; Systems analysis & design; Computers - General Information