-
RecordNumber
20195
-
Addition
,
-
Title
Rigorous software development
-
SubTitle
an introduction to program verification
-
Author Statement
Josae Bacelar Almeida ... [et al.]
-
Publication
Springer,
-
Collation
xii, 263 p. , 23 cm.
-
Series
Undergraduate topics in computer science,1863-7310
-
Contents
Introduction -- An overview of formal methods tools and techniques -- Propositional logic -- First-order logic -- Hoare logic -- Generating verification conditions -- Safety properties -- Procedures and contracts -- Specifying C programs -- Verifying C programs.
-
Subject
Computer software, Verification,Computer software, Development
-
ADDED ENTRIES
AU Almeida, Josae Bacelar.
-
LC Class
QA
-
LC Number
76.76
-
LC CutterNumber
.V4,R5
-
LC Date
2011
-
وارد کنندة اطلاعات
m
-
تاريخ ورود اطلاعات
1391/12/09
-
ISBNN
9780857290175 (pbk.) ,
-
Bibliography
Includes bibliographical references and index.
-
Published_Year
c2011
-
Link To Document :
