Llwytho...

Côd QR

The temporal logic of reactive and concurrent systems/specification

Manylion Llyfryddiaeth
Prif Awdur:	zohar Manna,Amir Phueli
Fformat:	Printed Book
Iaith:	English
Cyhoeddwyd:	Springer-Verlag 1992

Eitemau Tebyg

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

Logics and models of concurrent systems
gan: Krysztof R Apt
Cyhoeddwyd: (1985)

Understanding concurrent systems /
gan: Roscoe, A. W.
Cyhoeddwyd: (2010)

The logical basis for computer programming
gan: Zohar Manna ,Richard Waldinger
Cyhoeddwyd: (1985)

Logical Basis for Computer Programming
gan: Zohar Manna, Richard Waldinger
Cyhoeddwyd: (1990)

Logic and specification
gan: Cornelis A Middleburg
Cyhoeddwyd: (1993)

On concurrent programming
gan: Fred B Schneider
Cyhoeddwyd: (1997)

Concurrent Programming
gan: Narain Gehani,Andrew D McGettrick
Cyhoeddwyd: (1988)

The art of concurrency /
gan: Breshears, Clay
Cyhoeddwyd: (2010)

Concurrent Euclid , the UNIX system
gan: Tunnis, R C Holt
Cyhoeddwyd: (1983)

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

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

Concurrent PC DOS /
gan: Balma, Phil
Cyhoeddwyd: (1986)

ADA Concurrent Programming
gan: Narain Gehani
Cyhoeddwyd: (1984)

Concurrency and Programming Languages
gan: David M.Harland
Cyhoeddwyd: (1986)

CAD of concurrent computeres
gan: Foulk,Patrick.W

Concurrent program structures/
gan: Bustard, David
Cyhoeddwyd: (1988)

Concurrent program structures /
gan: Bustard, David .
Cyhoeddwyd: (1988)

Principles of concurrent programming /
gan: Ben-Ari, M .
Cyhoeddwyd: (1982)

Principles Of Concurrent Programming
gan: Ben Ari, M
Cyhoeddwyd: (1982)

Concurrent Pc Dos
gan: Balma, Phil
Cyhoeddwyd: (1986)

Concurrent Program Structures
gan: Bustard, David
Cyhoeddwyd: (1988)

Temporal and Spatio-temporal Data Mining
gan: WANG JUNMEI
Cyhoeddwyd: (2008)

Temporal and Spatio-temporal Data Mining
gan: WANG JUNMEI
Cyhoeddwyd: (2008)

Mathematical theory of computation/
gan: Manna, Zohar
Cyhoeddwyd: (1974)

Reactive extrusion systems
gan: Janssen, L. P. B. M.
Cyhoeddwyd: (2004)

Concurrent and realtime systems: the CSP approach
gan: Schneider, Steve
Cyhoeddwyd: (2000)

Concurrency control & reliability in distributed systems
gan: Bharat K Bhargava
Cyhoeddwyd: (1987)

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

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

C++ concurrency in action practical multithreading
gan: Williams, Anthony
Cyhoeddwyd: (2012)

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

Structured concurrent programming with operating system applications
gan: R.C.Holt
Cyhoeddwyd: (1978)

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

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

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

Introduction to Concurrency in Programming languages/
gan: Sottile, Matthew
Cyhoeddwyd: (2010)

Directed algebraic topology and concurrency.
gan: Fajstrup, Lisbeth, et al.
Cyhoeddwyd: (2016)

Introduction to concurrency in programming languages
gan: Sottile, Matthew J
Cyhoeddwyd: (2010)

Theory of Database concurrency Control
gan: Christos Papadimitriou
Cyhoeddwyd: (1986)