 |
 |
Area della Ricerca di Padova
|
Vol. 1: Background : mathematical structures
Normal View ISBD View
Authors:
Abramsky, S.
|
Gabbay, Dov M.
|
Maibaum, T. S. E.
Published by :
Clarendon Press,
(Oxford : )
Physical details: XII, 827 p. ; 24 cm.
Collection:
Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
Subject(s):
Computer science
|
Logic, Symbolic and mathematical
Year : 1992
No tags for this title.
| Item type | Location | Call Number | Copy | Status | Notes | Date Due |
|---|---|---|---|---|---|---|
| Books | Istituto di Ingegneria Biomedica | QA76.H2785 (Browse Shelf) | 1 | Available | Sossai-- |
Browsing Istituto di Ingegneria Biomedica Shelves Close Shelf Browser
 |
 |
||||||
| QA76.F56Data structure and management / | QA76.G28A view of programming languages / | QA76.H2785Vol. 2: Background : computational structures | QA76.H2785Vol. 1: Background : mathematical structures | QA76.H2785Vol. 4: Semantic modelling | QA76.H279Vol. 1: Algorithms and complexity |
Important links here.
There are no comments for this item.