Logic in computer science : modelling and reasoning about systems :: Michael Huth :: ISBN 052154310X :: Cambridge University Press 2004 :: OBNB, the Open British National Bibliography

Publication Data

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

Topics

Computer logic
011618680

Catalogue Data

OBNB ID GBA4Y7254
ISBN 10 052154310X
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.1015113

ISBD

P1053 xiv, 427 p.
P1042 Includes bibliographical references (p. 414-417) 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 052154310X. Published by Cambridge University Press in 2004. Publication and catalogue information, links to buy online and reader comments.