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

Vol. 4: Semantic modelling

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

Contents - Models for concurrency. Concrete process algebra. Correspondence between operational and denotational semantics: the full abstraction problem for PCF. Effective algebras. Abstract interpretation: a semantic-based tool for program analysis.

There are no comments for this item.

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