Normal view MARC view ISBD view

Temporal Logic of Reactive and Concurrent Systems

Material type: materialTypeLabel

BookPublisher: New York: Springer-Verlag, 1992Description: xiv, 427 p.; ill.: 25 cm.ISBN: 0387976647 .Subject(s): Logic | Symbolic | Mathematical | Concurrency | Computer programmingDDC classification: 005.1

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

Item type	Current location	Call number	Status	Date due	Barcode
Books		005.1 MAN (Browse shelf)	Available		026545

Previous								Next
Previous	005.1 MAL Fundamentals of Software Engineering	005.1 MAL Fundamentals of Software Engineering	005.1 MAL Fundamentals of Software Engineering	005.1 MAN Temporal Logic of Reactive and Concurrent Systems	005.1 MAN Bio-Inspired Computing Machines : towards novel computational architectures	005.1 MAN Practical Software Engineering: Analysis and design for the .NET platform	005.1 MAN Matheuristics : algorithms and implementations	Next

There are no comments for this item.

Browse results

Koha online