Rigorous Software Development: An Introduction to Program Verification - Softcover

Almeida, José Bacelar; Frade, Maria João; Pinto, Jorge Sousa

 
9780857290199: Rigorous Software Development: An Introduction to Program Verification
Softcover
ISBN 10: 0857290193 ISBN 13: 9780857290199
Publisher: Springer, 2011

This specific ISBN edition is currently not available.

Synopsis

List of Figures.- 1. Introduction.- 2. An Overview of Formal Methods Tools and Techniques.- 3. Propositional Logic.- 4. First-Order Logic.- 5. Hoare Logic.- 6. Generating Verification Conditions.- 7. Safety Properties.- 8. Procedures and Contracts.- 9. Specifying C Programs.- 10. Verifying C Programs.- Bibliography.- Index

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2011
Language
English
ISBN 10 
0857290193
ISBN 13 
9780857290199
Binding
Paperback

Other Popular Editions of the Same Title

9780857290175: Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

Featured Edition

ISBN 10:  0857290177 ISBN 13:  9780857290175
Publisher: Springer, 2011
Softcover