Program Verification, Paperback Book

Program Verification Paperback


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




Free Home Delivery

on all orders

Pick up orders

from local bookshops

Also by Nissim Francez