Image may be NSFW.
Clik here to view.
Clik here to view.
Verification: Theory and Practice by Nachum Dershowitz
Springer; 2004 edition | February 24, 2004 | English | ISBN: 3540210024 | 795 pages | PDF | 9 MB
Springer; 2004 edition | February 24, 2004 | English | ISBN: 3540210024 | 795 pages | PDF | 9 MB
The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering, requirements specification, and program synthesis
Download Links:
Uploaded
RapidGator
