Logic in Computer Science: Modelling and Reasoning about Systems

by

Write The First Customer Review

Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.

Logic in Computer Science: Modelling and Reasoning about Systems 2004, Cambridge University Press, Cambridge, England

ISBN-13: 9780521543101

2nd Revised edition

Trade paperback

Select