Symbolic execution of software

RecordNumber :

31671

LC Class :

LC Number :

76.76

LC CutterNumber :

.V47,C6

Author :

Title :

Author Statement :

David Coward and Darrel Ince

Publication :

Chapman

Collation :

vi, 155 p.: illus.; 23 cm

Subject :

ADDED ENTRIES :

Ince, Darrel

Holding Info. :

0412583402,0412583402

Original By :

77/03/18

DocumentNumber :

43685

SubTitle :

: the SYM-BOL system

Biblography :

Includes index

BL :

Link To Document :