Loading...

QR Code

The Temporal logic of reactive and concurrent systems

Bibliographic Details
Main Authors:	Manna, Zohar, Pnueli, Amir
Format:	Printed Book
Published:	New York, Springer Verlag 1992
Subjects:	Electronic digital computers Programming

Similar Items

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

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

Operating systems
by: Madnick, Stuart E.
Published: (1974)

Computer logic; the functional design of digital computers.
by: Flores, Ivan
Published: (1960)

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

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

Digital electronics and logic design
by: Nair, B.Somanathan
Published: (2002)

Handbook of digital system design for scientists and engineers : design with analog, digital and LSI /
by: Lin, Wen C.
Published: (1981)

Digital systems: principles and applications
by: Jocci, Ronald J
Published: (1977)

Digital logic operation and anlysis
by: Boyce, Jefferson C
Published: (1982)

Digital electronics and logic design /
by: Somanathan Nair, B.
Published: (2002)

The logic of programming
by: Hehner, Eric C R; Author
Published: (1984)

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

Theory and Practice of Compiler Writing
by: Iremblay, Jean Paul
Published: (1985)

Introductionto algoritham design and structural programming
by: Reed, Thomas A
Published: (1988)

Digital principles and applications
by: Maluino, Albert Paul
Published: (2000)

Introduction to electronic digital computers
by: Maisel, Herbert
Published: (1969)

Concurrent and real-time programming in Java
by: Wellings, Andy; Author
Published: (2004)

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

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

Algorithms and programming problems and solutions
by: Shen, Alexander
Published: (1997)

Computer organisation and programming
by: Gear,William C
Published: (1980)

Computer Organisation and Programming
by: William Gear, charles
Published: (1980)

Digital principles and applications /ed.4
by: Malvino, Albert Paul and Leach,Donald P.
Published: (1986)

Digital principles and applications : 4th ed.
by: Maluino, Albert Paul
Published: (1975)

Computer logic design /
by: Mano,Morris.M
Published: (1972)

Digital logic design
by: Holdsworth, B
Published: (1982)

Applications software programming with fourth-generation languages
by: Wojtkowshi, W. Gregory
Published: (1990)

Structure and interpretation of computer programs
by: Abelson, Harold; Author, et al.
Published: (1993)

Partial computation and the construction of language processors
by: Pagan, Frank G
Published: (1991)

Digital priniciples and applications
by: Leach, Donald P.
Published: (2003)

Digital circuits and logic design
by: Lee, Samuel C
Published: (1987)

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

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

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

Analysis,desgin and implementation of information systems
by: Lucas, Henry C.
Published: (1976)

Digital principles and applications /
by: Malvino, Albert Paul
Published: (1981)

An Introduction to data structures with applications
by: Soreson, Paul G, et al.
Published: (1984)

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

Digital systems: principles and applications
by: Tocci, Ronald J.
Published: (1991)