PROGRAM VERIFICATION; Fundamental Issues in Computer Science
- Edition
- 1
- ISBN/ISSN
- 0-7923-1965-6
- Collation
- xiii, 457 p. : ill. ; 23 cm
- Series Title
- STUDIES IN COGNITIVE SYSTEMS, VOLUME 14
- Call Number
- 005.1 4 Pro p 1993
- Edition
- 1
- ISBN/ISSN
- 0-7923-1965-6
- Collation
- xiii, 457 p. : ill. ; 23 cm
- Series Title
- STUDIES IN COGNITIVE SYSTEMS, VOLUME 14
- Call Number
- 005.1 4 Pro p 1993
Search Result
Found 1 from your keywords: Author : "Rankin, Terry L"
Query took 0.0015 second(s) to complete
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography