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

Temporal logic : mathematical foundations and computational aspects /

by Gabbay, Dov M.
Normal View ISBD View
Authors: Hodkinson, Ian | Reynolds, Mark Series: Oxford logic guides ; . 28 Published by : Clarendon Press ; New York : Oxford University Press, (Oxford : ) Physical details: XIV, 653 p. : ill. ; 24 cm. Subject(s): Electronic digital computers--Programming | Logic, Symbolic and mathematical Year : 1994
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.6.G27 (Browse Shelf) 1 Available

There are no comments for this item.

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