عنوان
پدید آورنده
موضوع
رده
QA76.76.V47 E358 2012
QA76
.
76
.
V47
E358
2012
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642357466
(Number (ISBN
9783642357466
NATIONAL BIBLIOGRAPHY NUMBER
Number
b567725
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Tools for Practical Software Verification :
General Material Designation
[Book]
Other Title Information
LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
First Statement of Responsibility
edited by Bertrand Meyer, Martin Nordio.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, Heidelberg
Name of Publisher, Distributor, etc.
Springer Berlin Heidelberg : Imprint : Springer
Date of Publication, Distribution, etc.
2012
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(VIII, 183 p. 31 illustrations)
SERIES
Series Title
Lecture Notes in Computer Science, 7682.
CONTENTS NOTE
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Computer science.
Logic design.
Software engineering.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
76
.
V47
Book number
E358
2012
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by Bertrand Meyer, Martin Nordio.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Bertrand Meyer
Martin Nordio
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
