Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

Concurrency Theory

Calculi an Automata for Modelling Untimed and Timed Concurrent Systems

Language EnglishEnglish
Book Hardback
Book Concurrency Theory Rodolfo Gomez
Libristo code: 08856660
Publishers Springer London Ltd, December 2005
Offers an introduction to LOTOS highlighting how the approach differs from competitor techniques suc... Full description
? points 444 b
181.49 € VAT included
Low in stock at our supplier Shipping in 13-18 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

QUEL AVENIR POUR LA PÉNINSULE DE CORÉE ? Rastbeen / Book Paperback
common.buy 61.89 €
GO VISTA: Reiseführer Antwerpen · Brügge · Gent Petra Sparrer / Book Paperback
common.buy 9.90 €
Deliberate Practice in der Psychotherapie Markus Böckle / Book Paperback
common.buy 39.00 €
Вороний камень Юлиан Пресс / Book Hardback
common.buy 12.89 €
Die klassische Welt Ute Spengler / Book Paperback
common.buy 25.00 €
Geotechnik Gerd Möller / Book Paperback
common.buy 74.99 €
Coming soon
Championnes Laurent Cascarino / Book Hardback
common.buy 20.99 €
Klein Tukan lernt heut' fliegen Nastja Holtfreter / Book Hardback
common.buy 15.00 €
Perché la sindone non è un falso? Alessandro Piana / Book Paperback
common.buy 9.09 €
Die Kunst von Hergé Philippe Goddin / Book Hardback
common.buy 31.69 €
PROGRESSIVE DOUBLE BASS DRUMMING VOLUME 1 BURGET Book binding.
common.buy 23.99 €
Karl Gutzkow (1871) Alfred Von Wurzbach / Book Paperback
common.buy 21.99 €
Tribunal Russell Gall Collectifs / Book Paperback
common.buy 7.09 €
Jak pokonac objadanie sie Christopher G. Fairburn / Book Paperback
common.buy 12.29 €
Emotionale Intelligenz als Schlüsselqualifikation für Führungskräfte Maria Balukcic / Book Paperback
common.buy 18.95 €

Offers an introduction to LOTOS highlighting how the approach differs from competitor techniques such as CCS and CSP. The authors also generalise the simple communicating automata notation to yield timed automata with multi-way synchronisation using model-checking verification methods and new techniques to prevent time-locks from arising.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Concurrency Theory
Author Rodolfo Gomez
Language English
Binding Book - Hardback
Date of issue 2005
Number of pages 422
EAN 9781852338954
ISBN 9781852338954
Libristo code 08856660
Publishers Springer London Ltd
Weight 847
Dimensions 155 x 235 x 25

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
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

You might also be interested in

Bridges Between Psychology and Linguistics Donna Jo Napoli / Book Paperback
common.buy 77.69 €
Fantastic Fliers Kingfisher Books / Book Paperback
common.buy 7.59 €
Gamification with Unity 5.x Lauren S Ferro / Book Paperback
common.buy 51.39 €
The Revival of Personal Government. Roscoe Pound / Book Paperback
common.buy 16.89 €
Portrait Of An Obama Nanny State: If It Can Happen To The Brits, It Can Happen To Us F LaGard Smith / Book Paperback
common.buy 15.39 €
Prevention and Medical Management of Laser Injuries (FM 8-50) Department Of the Army / Book Paperback
common.buy 14.49 €
Xerxes Makers of History Jacob Abbott / Book Paperback
common.buy 12.29 €
Concept of Presocratic Philosophy Andre Laks / Book Paperback
common.buy 31.69 €
Sunburst and Luminary David R. Scott / Book Paperback
common.buy 26.39 €
HI KIDS 3 ALPHABET BOOK T N CD / Book Book
common.buy 15.39 €
Smart Intelligent Computing and Applications, Volume 1 Vikrant Bhateja / Book Paperback
common.buy 267.89 €
Periodontal Manifestations of Local and Systemic Diseases George Laskaris / Book Paperback
common.buy 167.99 €
Top
Psychic Witch AURYN MAT / Book Hardback
common.buy 20.49 €
Colloquial Spanish 2 Untza Otaola Alday / Book Paperback
common.buy 60.49 €
100 Irish Rugby Greats John Scally / Book Paperback
common.buy 26.69 €
Infinitives Susanne Wurmbrand / Book Hardback
common.buy 113.69 €
Coming soon
Comprehensive Study Chinese Vocabulary in Several Textbooks for Westerners Kwok-cheung Ho / Book Paperback
common.buy 15.99 €
Expanding Graphs American Mathem American Mathem / Book Hardback
common.buy 92.89 €
In Company 3.0 Starter Level Student's Book Pack Edward de Chazal / Book Hardback
common.buy 42.79 €
Healing Path of Prayer Ron Roth / Book Paperback
common.buy 16.29 €
Seed Ecophysiology of Temperate and Boreal Zone Forest Trees R. E. Farmer / Book Hardback
common.buy 242.59 €
Emerging Evidence on Vouchers and Faith-Based Providers in Education Quentin Wodon / Book Paperback
common.buy 30.69 €
Contemplating the Colour of a Concorde Corey Evan Fox / Book Paperback
common.buy 13.49 €
Dictionary of National Biography. Edited by Leslie Stephen. Vol. III Sir Sidney Lee / Book Paperback
common.buy 31.09 €

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?