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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

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 122 b
50.51 €
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 34.85 €
Poppy Playtime Amis pour la mort Virgile Iscan / Book Paperback
common.buy 17.06 €
Woerterbucher - Mittel nationalsozialistischer Propaganda Helena Drewa / Book Paperback
common.buy 16.16 €
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Book Paperback
common.buy 6.76 €
EL TEATRO ES PURA QUIMICA LA QUIMICA ES PURO TEATRO POU AMERIGO / Book Hardback
common.buy 22.92 €
Solitudini e I Luoghi Marianna Piani / Book Paperback
common.buy 13.33 €
Iliade Omero / Book Paperback
common.buy 15.14 €
Bad Romance, T3 : Coeurs imprudents Céline Mancellon / Book Paperback
common.buy 14.24 €
Ensayos filosóficos y políticos Cristóbal Montes / Book Paperback
common.buy 29.39 €
Histoire Populaire Abregee de Napoleon III De Cassagnac-P / Book Paperback
common.buy 15.55 €
Monster Loving Maniacs, Bildergalerie, 200 Teile / Game/Toy Game
common.buy 9.29 €
Chuť ticha Štefánia Baranová / Book Hardback
common.buy 14.24 €
War has another face: the inheritance of colonialism, the path of capitalism, the ruin of the planet Amitav Ghosh / E-book Adobe ePub DRM
common.buy 14.24 €
Agba Nwa-nnụnụ Parọt David E. McAdams / Book Paperback
common.buy 11.31 €
BROCKHAUSEN Bastelbuch Bd. 4 - Das große Buch zum Ausmalen und Prickeln: Schmetterlinge Dortje Golldack / Book Paperback
common.buy 12.11 €
Mein Tierspaß Rebecca Schmalz / Book Board book
common.buy 12.92 €
Ballando Francesca Giraudo / Book Paperback
common.buy 13.02 €
Miasto gangów Czeszumski Łukasz / Book Paperback
common.buy 10.19 €
Bristol UK Aerial Photographs and Tourist Attractions Llewelyn Pritchard Ma / Book Paperback
common.buy 12.11 €
Memospiel Mein erstes Memo / Game/Toy Game
common.buy 8.98 €
Death Magnetic Metallica / Audio Audio CD
common.buy 25.25 €
Top
Dřevěné kostky Cars ve světě Disney - Pixar / Game/Toy Toy
common.buy 15.75 €
culpabilite comme facteur suicidaire Julia Rysyukova Julia / Book Paperback
common.buy 35.65 €
Ethnologie des anciens alcooliques. La liberté ou la mort Fainzang / Book Paperback
common.buy 12.62 €

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 €
Lori is Likeable: A collection of positive thoughts, hopes, dreams, and wishes. Genuine Journals / Book Paperback
common.buy 10.30 €
Routledge Handbook of the Politics of Brexit Patrick Diamond / Book Paperback
common.buy 72.03 €
Contextualism, Factivity and Closure Stefano Leardi / Book Paperback
common.buy 51.62 €
Optical Fiber Sensing and Structural Health Monitoring Technology Yanliang Du / Book Hardback
common.buy 102.84 €
Taste Danilo Mandic / Book Paperback
common.buy 25.15 €
Jealous Lion: Finds Friends Pattie Thomas / Book Paperback
common.buy 17.47 €
The Bible's Feasts: Part of the Theology for Novices Series Donna Baer / Book Paperback
common.buy 13.02 €
Exploring Translation in Language Learning Malgorzata Smentek / Book Hardback
common.buy 85.77 €
New Zealand: The Ultimate New Zealand Travel Guide By A Traveler For A Traveler: The Best Travel Tips; Where To Go, What To See And Lost Travelers / Book Paperback
common.buy 9.39 €
Where the Path Breaks Charles Norris Williamson / Book Hardback
common.buy 33.53 €
The Final Sacrifice: Book Three of The Forsaken Trilogy MR Patrick C Van Slyke / Book Paperback
common.buy 19.29 €
Connect the Dots MR Don G Ford / Book Paperback
common.buy 9.39 €
Bosch Reconstructed Paul / Book Paperback
common.buy 28.28 €
Intelligent Computing, Networked Control, and Their Engineering Applications Dong Yue / Book Paperback
common.buy 102.84 €
Diller, Scofidio + Renfro: The Look Diller Scofidio &. Renfro / Book Paperback
common.buy 103.95 €
In & Oz Steve Tomasula / Book Hardback
common.buy 19.39 €
Biodiesel: Advanced Approaches and Applications Kurt Marcel / Book Hardback
common.buy 90.62 €
Alan E F Benson / Book Paperback
common.buy 23.13 €
Usborne Stargazing Book Sam Smith / Book Hardback
common.buy 6.66 €
Six Principles for Building a Truly Inclusive School Toni R. Barton / Book Hardback
common.buy 208.82 €
The Cambridge Handbook of Working Memory and Language John W. Schwieter / Book Paperback
common.buy 45.05 €
When Your Way Isn't Working Bible Study Guide plus Streaming Video Kyle Idleman / E-book Adobe ePub DRM
common.buy 13.23 €
Made Easy Rose Publishing / Book Paperback
common.buy 7.16 €

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?