
Program Verification
Nissim Francez(Author)
Addison Wesley (Publisher)
Published on 1. October 1992
Book
Paperback/Softback
352 pages
978-0-201-41608-4 (ISBN)
Description
This comprehensive textbook on program verification aims to give a clear, up-to-date approach to building proveably correct programs, emphasising the role of verification in software development. Features
rigorous approach, assuming no knowledge of logic and discrete maths
covers modern topics like concurrency and fairness
includes many exercises as an aid to understanding, plus solutions to selected exercises within the book
rigorous approach, assuming no knowledge of logic and discrete maths
covers modern topics like concurrency and fairness
includes many exercises as an aid to understanding, plus solutions to selected exercises within the book
More details
Language
English
Place of publication
Harlow
United Kingdom
Publishing group
Pearson Education Limited
Target group
Professional and scholarly
Dimensions
Height: 241 mm
Width: 162 mm
Thickness: 24 mm
Weight
620 gr
ISBN-13
978-0-201-41608-4 (9780201416084)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Content
1. Introduction2. On Specifications3. Verifying Deterministic Programs4. The Compositional Approach5. Verifying Nondeterministic Programs6. Verifying Programs With ProceduresAn Interlude on Concurrency7. Verifying Concurrent Programs8. Verifying Distributed Programs