Program Verification

Nissim Francez

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. Featuresrigorous approach, assuming no knowledge of logic and discrete mathscovers modern topics like concurrency and fairnessincludes many exercises as an aid to understanding, plus solutions to selected exercises within the book
  • Limba : Engleza
  • Cuprins : 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
  • Data Publicarii : 1992
  • Editie : 1
  • Format : Paperback
  • Numar pagini : 352
  • ISBN : 9780201416084
493.99 Lei