Items related to Rigorous Software Development: An Introduction to Program...

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

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

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