Verification
Subtitle: Theory and Practice
Edition: 1 edition
Publisher: Springer
Published: April 14, 2004
Language: eng
Format: Paperback
Number of pages: 783
ISBN-13: 9783540210023
Subjects: Software engineering; Programming - General; Computers; Computers - General Information; Computer Books: General; Verification; Logic Design; Programming - Software Development; Programming - Systems Analysis & Design; Computers / Logic Design; automated deduction; computer science logic; concurrent systems; distributed systems; hardware verification; hybrid systems; logics of programming; program synthesis; Computer software; General; Computer Bks - General Information