Static Analysis
Contributors: Manuel Hermenegildo (Editor); German Puebla (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 28, 2002
Language: eng
Format: Paperback
Number of pages: 538
ISBN-13: 9783540442356
Subjects: Data capture & analysis; Programming languages; Programming languages (Electro; Congresses; Computer Programming Languages; Computers; Computers - Languages / Programming; Programming Languages - General; Computer Books: General; Programming - Software Development; General; Computers / Programming Languages / General; Formal Methods; Formal Verification; Model Checking; Program Analysis; Programming Languages Implementation; Programming languages (Electronic computers); Computer Programming; Programming - General