Fr. 123.80

Nissim Francez

Program Verification

English · Paperback / Softback

Shipping usually within 3 to 5 weeks

Description

List of contents

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

Summary

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.

Product details

Authors	Nissim Francez
Publisher	Pearson Academic

Languages	English
Product format	Paperback / Softback
Released	01.01.1992

EAN	9780201416084
ISBN	978-0-201-41608-4
No. of pages	352
Weight	990 g
Series	Addison-Wesley Addison-Wesley
Subject	Natural sciences, medicine, IT, technology > IT, data processing > IT

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.

Write a review

Thumbs up or thumbs down? Write your own review.