Loading...

QR Code

The temporal logic of reactive and concurrent systems/specification

Bibliographic Details
Main Author:	zohar Manna,Amir Phueli
Format:	Printed Book
Language:	English
Published:	Springer-Verlag 1992

Similar Items

The Temporal logic of reactive and concurrent systems
by: Manna, Zohar, et al.
Published: (1992)

Logics and models of concurrent systems
by: Krysztof R Apt
Published: (1985)

Understanding concurrent systems /
by: Roscoe, A. W.
Published: (2010)

The logical basis for computer programming
by: Zohar Manna ,Richard Waldinger
Published: (1985)

Logical Basis for Computer Programming
by: Zohar Manna, Richard Waldinger
Published: (1990)

Logic and specification
by: Cornelis A Middleburg
Published: (1993)

On concurrent programming
by: Fred B Schneider
Published: (1997)

Concurrent Programming
by: Narain Gehani,Andrew D McGettrick
Published: (1988)

The art of concurrency /
by: Breshears, Clay
Published: (2010)

Concurrent Euclid , the UNIX system
by: Tunnis, R C Holt
Published: (1983)

Temporal logics in computer science : finite-state systems
Published: (2016)

The theory and practice of concurrency /
by: Roscoe, A. W.
Published: (1998)

Concurrent PC DOS /
by: Balma, Phil
Published: (1986)

ADA Concurrent Programming
by: Narain Gehani
Published: (1984)

Concurrency and Programming Languages
by: David M.Harland
Published: (1986)

CAD of concurrent computeres
by: Foulk,Patrick.W

Concurrent program structures/
by: Bustard, David
Published: (1988)

Concurrent program structures /
by: Bustard, David .
Published: (1988)

Principles of concurrent programming /
by: Ben-Ari, M .
Published: (1982)

Principles Of Concurrent Programming
by: Ben Ari, M
Published: (1982)

Concurrent Pc Dos
by: Balma, Phil
Published: (1986)

Concurrent Program Structures
by: Bustard, David
Published: (1988)

Temporal and Spatio-temporal Data Mining
by: WANG JUNMEI
Published: (2008)

Temporal and Spatio-temporal Data Mining
by: WANG JUNMEI
Published: (2008)

Mathematical theory of computation/
by: Manna, Zohar
Published: (1974)

Reactive extrusion systems
by: Janssen, L. P. B. M.
Published: (2004)

Concurrent and realtime systems: the CSP approach
by: Schneider, Steve
Published: (2000)

Concurrency control & reliability in distributed systems
by: Bharat K Bhargava
Published: (1987)

Concurrency control and reliability in distributed systems
by: Bhargava, Bharat K, Ed
Published: (1987)

Concurrent Marketing integrating product, sales and services
by: Cespedes, Frank V

C++ concurrency in action practical multithreading
by: Williams, Anthony
Published: (2012)

Solving Problems On Concurrent Processor:vol 2 Software For Concurrent Processors
by: Angus, Ian G
Published: (1990)

Structured concurrent programming with operating system applications
by: R.C.Holt
Published: (1978)

UNIX Systems Programming : communication, concurrency,and threads /
by: Robbins, Kay A .
Published: (2003)

Unix systems programming: communication, concurrency and threads /
by: Robbins,, Kay A.
Published: (2009)

Introduction to concurrency in programming languages /
by: Sottile, Matthew J.et.al
Published: (2010)

Introduction to Concurrency in Programming languages/
by: Sottile, Matthew
Published: (2010)

Directed algebraic topology and concurrency.
by: Fajstrup, Lisbeth, et al.
Published: (2016)

Introduction to concurrency in programming languages
by: Sottile, Matthew J
Published: (2010)

Theory of Database concurrency Control
by: Christos Papadimitriou
Published: (1986)