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
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Introduction to Process Algebra

Language EnglishEnglish
Book Paperback
Book Introduction to Process Algebra Wan Fokkink
Libristo code: 01653571
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, December 2010
Automated and semi-automated manipulation of so-called labelled transition systems has become an imp... Full description
? points 129 b
53.28 €
104.20  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Dinamica atmosferica y los procesos tormentosos severos Raúl César Pérez / Book Paperback
common.buy 36.89 € 72.16 лв
Poppy Playtime Amis pour la mort Virgile Iscan / Book Paperback
common.buy 17.51 € 34.25 лв
Chuť ticha Štefánia Baranová / Book Hardback
common.buy 13.84 € 27.08 лв
EL TEATRO ES PURA QUIMICA LA QUIMICA ES PURO TEATRO POU AMERIGO / Book Hardback
common.buy 23.77 € 46.48 лв
Monster Loving Maniacs, Bildergalerie, 200 Teile / Game/Toy Game
common.buy 9.66 € 18.89 лв
Iliade Omero / Book Paperback
common.buy 15.65 € 30.62 лв
Agba Nwa-nnụnụ Parọt David E. McAdams / Book Paperback
common.buy 11.31 € 22.13 лв
Solitudini e I Luoghi Marianna Piani / Book Paperback
common.buy 13.38 € 26.17 лв
Woerterbucher - Mittel nationalsozialistischer Propaganda Helena Drewa / Book Paperback
common.buy 17.10 € 33.45 лв
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Book Paperback
common.buy 7.07 € 13.84 лв
Dřevěné kostky Cars ve světě Disney - Pixar / Game/Toy Toy
common.buy 16.53 € 32.33 лв
Differenzierte Lesespurgeschichten Deutsch Grundschule Blomann / Book Paperback
common.buy 31.00 € 60.63 лв
Histoire Populaire Abregee de Napoleon III De Cassagnac-P / Book Paperback
common.buy 14.36 € 28.09 лв
Coming soon
La batalla de Elista : campeonato del mundo 2006 Zhyvko Ginchev / Book Paperback
common.buy 34.41 € 67.31 лв
Ensayos filosóficos y políticos Cristóbal Montes / Book Paperback
common.buy 30.74 € 60.13 лв
Opera Dogmatica Minora, in Illud; Tunc Et Ipse Filius: Opera Dogmatica Minora, Pars II Gregorius Nyssenus / Book Hardback
common.buy 282.52 € 552.57 лв
LA PARTICIPACIÓN ESPAÑOLA EN LAS CRUZADAS FERNÁNDEZ DE NAVARRETE / Book Paperback
common.buy 23.25 € 45.47 лв
Death Magnetic Metallica / Audio Audio CD
common.buy 26.45 € 51.74 лв
Bristol UK Aerial Photographs and Tourist Attractions Llewelyn Pritchard Ma / Book Paperback
common.buy 12.14 € 23.74 лв
Ballando Francesca Giraudo / Book Paperback
common.buy 13.07 € 25.56 лв
Memospiel Mein erstes Memo / Game/Toy Game
common.buy 9.56 € 18.69 лв
Plancha Lagandré / Book Paperback
common.buy 8.94 € 17.48 лв
Bad Romance, T3 : Coeurs imprudents Céline Mancellon / Book Paperback
common.buy 14.52 € 28.39 лв
Blancanieves Equipo Editorial / Book Paperback
common.buy 2.42 € 4.74 лв

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.

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 Introduction to Process Algebra
Author Wan Fokkink
Language English
Binding Book - Paperback
Date of issue 2010
Number of pages 168
EAN 9783642085840
ISBN 3642085849
Libristo code 01653571
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 284
Dimensions 155 x 235 x 10

Categories

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Mathematics & Science > Mathematics > Algebra
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Information technology: general issues
Computing & Information Technology > Business applications
Computing & Information Technology > Computer hardware
Computing & Information Technology > Operating systems
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

Constructivism in Mathematics Troelstra / Book Paperback
common.buy 58.08 € 113.60 лв
World's Worst Children 2 David Walliams / Book Paperback
common.buy 7.80 € 15.25 лв
Life Changing Quotes for Management, Leadership and Work David Sparks / Book Paperback
common.buy 10.33 € 20.20 лв
Lori is Likeable: A collection of positive thoughts, hopes, dreams, and wishes. Genuine Journals / Book Paperback
common.buy 10.33 € 20.20 лв
Clouds in the Wind: A Passionately Told Story of Danger, Love and Tragdey MR Ian George MacKenzie / Book Paperback
common.buy 16.64 € 32.54 лв
The Final Sacrifice: Book Three of The Forsaken Trilogy MR Patrick C Van Slyke / Book Paperback
common.buy 19.27 € 37.69 лв
Internet Finance in China Ping Xie / E-book Adobe ePub DRM
common.buy 79.43 € 155.34 лв
Connect the Dots MR Don G Ford / Book Paperback
common.buy 9.40 € 18.39 лв
Bosch Reconstructed Paul / Book Paperback
common.buy 28.26 € 55.28 лв
Intelligent Computing, Networked Control, and Their Engineering Applications Dong Yue / Book Paperback
common.buy 108.47 € 212.15 лв
Exploring Translation in Language Learning Malgorzata Smentek / Book Hardback
common.buy 90.33 € 176.67 лв
Critical Media Studies: An Introduction, 4th Editi on Brian L. (Missouri State University) Ott / Book Paperback
common.buy 61.91 € 121.08 лв
Top
Made Easy Rose Publishing / Book Paperback
common.buy 7.54 € 14.75 лв
When Your Way Isn't Working Bible Study Guide plus Streaming Video Kyle Idleman / E-book Adobe ePub DRM
common.buy 13.84 € 27.08 лв
Diller, Scofidio + Renfro: The Look Diller Scofidio &. Renfro / Book Paperback
common.buy 112.65 € 220.33 лв
Biodiesel: Advanced Approaches and Applications Kurt Marcel / Book Hardback
common.buy 90.69 € 177.38 лв
Alan E F Benson / Book Paperback
common.buy 23.15 € 45.27 лв
Through a Canadian Periscope Julie H. Ferguson / Book Paperback
common.buy 20.87 € 40.82 лв
Christmas in My Heart Joe L. Wheeler / Book Paperback
common.buy 11.36 € 22.23 лв
Where the Path Breaks Charles Norris Williamson / Book Hardback
common.buy 33.53 € 65.59 лв
Fractured Souls (Fallen Messengers Book 1) Salinger Ava Marie Salinger / Book Hardback
common.buy 27.85 € 54.47 лв
Modern Greece, Two Lectures: With Papers On The Progress Of Greece And Byron In Greece (1880) Richard Claverhouse Jebb / Book Paperback
common.buy 25.94 € 50.73 лв
I Think Vs I Am Sudarshan R. Iyengar / Book Paperback
common.buy 48.00 € 93.89 лв
introduction to early Welsh John Strachan / Book Paperback
common.buy 23.72 € 46.38 лв

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?