Enlarge

Logic in computer science : modelling and reasoning about systems

Michael Huth

Publication Data

Title Logic in computer science : modelling and reasoning about systems
Author Michael Huth
Contributor Mark Ryan
Publisher Cambridge University Press
Publication date 2000
Publication location Cambridge
Language English

Topics

009413647

Catalogue Data

OBNB ID GBA009803
ISBN 10 0521656028
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 510

ISBD

P1053 xviii,387p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Logic in computer science : modelling and reasoning about systems by Michael Huth. ISBN 0521656028. Published by Cambridge University Press in 2000. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.