Loading...

QR Code

Specification and proof in real time CSP

Bibliographic Details
Main Author:	Davies,Jim
Format:	Printed Book
Language:	English
Published:	Cambridge Cambridge press

Similar Items

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

Complex proofs of real theorems /
by: Lax, Peter D.
Published: (2012)

Complex proofs of real theorems /
by: Lax, Peter D., et al.
Published: (2012)

Problems and proofs in real analysis
by: Yeh, J
Published: (2014)

Real-time systems: specification, verification and analysis/
by: Joseph, Mathai, Ed
Published: (1996)

Complex Proofs of Real Theorems; Vol.58
by: Lax,Peter D
Published: (2012)

Real time programming languages, specifications and verification
by: Shyamasundar, R K
Published: (2010)

Proofs and computations /
by: Schwichtenberg, Helmut, et al.
Published: (2012)

Logic and Proof
by: Bittnger, Marvin L
Published: (1970)

Proof in geometry /
by: Fetisov, A. I.
Published: (1978)

Godel's proof,
by: Nagel, Ernest
Published: (1986)

Abel's proof.
by: Pesic, Peter
Published: (2003)

Logic and Proof/
by: Bittinger, Marvin L.
Published: (1970)

Proofs and types /
by: Girard, Jean-Yves
Published: (1989)

Proof theory
by: Takeuti, Gaisi
Published: (1975)

Shark proof
by: Mackay, Harvey B.
Published: (1993)

Proof theory
by: Schutte, Kurt
Published: (1977)

Logic and proof
by: Bittinger, Marvin L
Published: (1970)

Proof Reading /

Godel's proof /
by: Nagel, Ernest
Published: (1964)

Conjecture and proof
by: Laczkovich, Miklos
Published: (2001)

Godel's proof /
by: Ernest Nagel
Published: (2005)

Proofs that really count: The art of combinatorial proof.
by: Benjamin, Arthur T
Published: (2003)

Real-time rendering /
by: Möller, Tomas, 1971-
Published: (2002)

Real- time systems
by: Liu, Jane W.S
Published: (2003)

CRM in real time
by: Goldenberg, Barton J.
Published: (2009)

Real-Time systems /
by: Liu, Jane W. S.
Published: (2013)

Real time UML
by: Bruce Powel Douglass
Published: (2004)

Real-time systems /
by: Krishna, C M .
Published: (1997)

Real-time systems /
by: Liu, Jane W S.
Published: (2001)

Real-time rendering
by: Molller Thomas Akenine...et al..

Real-time rendering/
by: Akenine-Möller, Tomas
Published: (2008)

Real Time UML
by: Douglass Powel Bruce

Real - Time Systems
by: Liu, Jane W S
Published: (2001)

Real-time systems /
by: Krishna, C. M.
Published: (1997)

Real-Time systems /
by: Liu, Jane W. S.
Published: (2000)

Real time systems
by: KRISHNA.C.M SHIN,Kang.G
Published: (1997)

Real-time systems :
by: Olderog, E.-R
Published: (2008)

Real time UML : advances in the UML for real-time systems /
by: Douglass, Bruce Powel
Published: (2012)

In real time : managing the new supply chain
by: Boyson, Sandor
Published: (2005)