Wellcome

Temporal logic : mathematical foundations and computational aspects Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds.

By: Gabbay, Dov MContributor(s): Hodkinson, Ian | Reynolds, Mark | Finger, MarceloMaterial type: TextTextLanguage: English Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 1994Description: v.1 :653p. : ill. ; 24 cmISBN: 0198537697 Subject(s): Computer programming | Logic, Symbolic and mathematical | Temporal Logic | Mathematical FoundationsDDC classification: 511.3 GAB H
Item type:
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Books Books Mysore University Main Library
511.3 GAB H (Browse shelf (Opens below)) Available 412139

There are no comments on this title.

to post a comment.

No. of hits (from 9th Mar 12) :

web counter

Powered by Koha