Logic in Computer Science Modelling and Reasoning about Systems

Name: Logic in Computer Science
ISBN: 9780521543101

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

In print

Ebook

Audiobook

Library

We may earn a commission. Learn more.

No reviews yet.
Be the first to write one.

No highlights yet.
Be the first to share one.