Time and logic: a computational approach

By:

Bolc, Leonard

Contributor(s):

Szałas, Andrzej

Material type: Text

TextPublication details: UCL Press London 1995Description: viii, 325 pages; 24 cmISBN:

9781857282337

Subject(s):

DDC classification:

005.101 BOL

Summary: Time and logic are central driving concepts in science and technology. This book presents some of the major developments in our understanding and application of temporal logic in computational terms. It places emphasis on presenting a broad range of approaches to computational applications."

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode
Books	Symbiosis Institute of Business Management - Hyderabad General	General Book	005.101 BOL (Browse shelf(Opens below))	Available		SIBMH-B-4393
Books	Symbiosis Institute of Business Management - Hyderabad General	General Book	005.101 BOL (Browse shelf(Opens below))	Available		SIBMH-B-4521

Browsing Symbiosis Institute of Business Management - Hyderabad shelves, Shelving location: General, Collection: General Book Close shelf browser (Hides shelf browser)

Previous								Next
Previous	005 PIL Microsoft vista for it security professionals	005.1 TEL Idiot's Guide Beginning Programming	005.101 BOL Time and logic: a computational approach	005.101 BOL Time and logic: a computational approach	005.106 YOU Death march: the complete software developer's guide to surviving mission impossible projects	005.133/BAL Programming with java: a primer	005.133 PRE Software engineering: a practitioner's approach	Next

Time and logic are central driving concepts in science and technology. This book presents some of the major developments in our understanding and application of temporal logic in computational terms. It places emphasis on presenting a broad range of approaches to computational applications."

There are no comments on this title.

to post a comment.