Area della Ricerca di Padova
Corso Stati Uniti,4 35127 Padova (ITALY) - Tel.+39 049 8295611 - Fax.+39 049 8295671

Vol. 2: Background : computational structures

Normal View ISBD View
Authors: Abramsky, S. | Gabbay, Dov M. | Maibaum, T. S. E. Published by : Clarendon Press, (Oxford : ) Physical details: X, 571 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. Log in to add tags.
Item type Location Call Number Copy Status Notes Date Due
Books Istituto di Ingegneria Biomedica QA76.H2785 (Browse Shelf) 1 Available Sossai--

There are no comments for this item.

Log in to your account to post a comment.
Important links here.