Program Verification, Paperback Book

Program Verification Paperback

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.

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

Information

£83.99

£79.85

 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Also by Nissim Francez

£74.50

£63.33

£74.99

£61.65