[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Specification and Proof in Real Time CSP

Language EnglishEnglish
Book Hardback
Book Specification and Proof in Real Time CSP Jim Davies
Libristo code: 06225565
Publishers Cambridge University Press, May 1993
The research contained in this 1993 book represents work on the specification and verification of re...
? points 392 b
165.91 € včetně DPH
In stock at our supplier Shipping in 15-20 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

Sleepy Princess in the Demon Castle, Vol. 10 Kagiji Kumanomata / Paperback
common.buy 10.05 €
Jahrbuch Lastwagen 2015 / Paperback
common.buy 15.95 €
Color Index XL Jim Krause / Paperback
common.buy 27.50 €
Half Life of Valery K / Paperback
common.buy 10.48 €
Understanding Reading Comprehension Wayne Tennent / Paperback
common.buy 37.13 €
Telemann, Georg Philipp - Zwölf Fantasien für Flöte solo TWV 40:2-13 Georg Philipp Telemann / Sheet music
common.buy 19.80 €
Social Production of Art 2/E Pb Wolff / Paperback
common.buy 40.13 €
Confidentiality in the Model Law and the European Mediation Directive Eva-Maria Henke / Paperback
common.buy 62.40 €
Splicing Life? Peter Glasner / Hardback
common.buy 209.15 €
In Arcadia Ben Okri / Paperback
common.buy 11.23 €
Adventures in Pen Land Marianne Gingher / Paperback
common.buy 21.72 €
Effective Theories in Physics James Wells / Paperback
common.buy 74.06 €

The research contained in this 1993 book represents work on the specification and verification of real-time systems using CSP.

About the book

Full name Specification and Proof in Real Time CSP
Author Jim Davies
Language English
Binding Book - Hardback
Date of issue 1993
Number of pages 200
EAN 9780521450553
ISBN 9780521450553
Libristo code 06225565
Publishers Cambridge University Press
Weight 530
Dimensions 181 x 256 x 13

Categories

Computing & Information Technology > Computer science > Computer architecture & logic design > Parallel processing
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Databases > Data capture & analysis
Computing & Information Technology > Computer science > Mathematical theory of computation
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account