عنوان
پدید آورنده
موضوع
رده
QA76.76.V47 E358 2012
QA76
.
76
.
V47
E358
2012
کتابخانه
محل استقرار
3642357466
9783642357466
b567725
Tools for Practical Software Verification :
[Book]
LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
edited by Bertrand Meyer, Martin Nordio.
Berlin, Heidelberg
Springer Berlin Heidelberg : Imprint : Springer
2012
(VIII, 183 p. 31 illustrations)
Lecture Notes in Computer Science, 7682.
Model Checking and the State Explosion Problem --; From Program to Logic: An Introduction --; Introduction to the Coq Proof-Assistant for Practical Software Verification --; Advanced Theorem Proving Techniques in PVS and Applications --; Automatic Verification of Advanced Object-Oriented Features: --; The AutoProof Approach --; Using Dafny, an Automatic Program Verifier.
Computer science.
Logic design.
Software engineering.
QA76
.
76
.
V47
E358
2012
edited by Bertrand Meyer, Martin Nordio.
Bertrand Meyer
Martin Nordio
مطالعه متن کتاب [Book]
Y
