Logic in computer science : modelling and reasoning about systems
Saved in:
Main Author: | |
---|---|
Other Authors: | |
Format: | Book |
Language: | English |
Published: |
Cambridge [U.K.] ;
Cambridge University Press,
2004.
|
Edition: | 2nd ed. |
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Biblioteca Laura Manzo - Universidad Nacional de Quilmes:
Call Number: |
005.101 HUT |
---|---|
Copy 1 | Available Place a Hold |
Copy 2 | Available Place a Hold |
Copy 3 | Available Place a Hold |
Copy 4 | Available Place a Hold |