Logic in computer science Modelling and reasoning about systems

Logic in computer science Modelling and reasoning about systems

Show other versions (1)
Bibliographic Details
Main Authors: Huth, Michael, 1962- (Author), Ryan, Mark, 1962- (Author)
Format: Book
Language:English
Published: New York Cambridge 2000
Subjects:
COMPUTER LOGIC

ΒΚΠ - Πατρα: ALFe

Holdings details from ΒΚΠ - Πατρα: ALFe
Call Number: 005.1 HUT
Copy 1 Available

Similar Items