Loading...

QR Code

Logics and models of concurrent systems

Bibliographic Details
Main Author:	Krysztof R Apt
Format:	Printed Book
Language:	English
Published:	Springer-Verlag 1985

Similar Items

Verification Of Sequential And Concurrent Programs
by: Apt, Krzysztof R
Published: (1991)

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

Verification of sequential and concurrent programs
by: Krzysztof r apt,Ernst -Rudiger olderog
Published: (1997)

The temporal logic of reactive and concurrent systems/specification
by: zohar Manna,Amir Phueli
Published: (1992)

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

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)

Modeling Embedded Systems And Soc`s: Concurrency And Time In Models Of Computaton
by: Jantsch, Axel
Published: (2004)

Concurrency: state models & java programs /
by: Magee, Jeff .
Published: (1999)

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)

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

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

Concurrent Programming: Principles And Practice
by: Andrews, Gregory R
Published: (1991)

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)

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)

Parallel algorithms under concurrency
by: K H Kochaleema
Published: (1990)

Solving problems on concurrent processors /
by: Fox, Geffrey C .
Published: (1988)

Verification of sequential and concurrent programs /
by: Gries, David .
Published: (1991)