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

Introduction to Process Algebra

Language EnglishEnglish
Book Hardback
Book Introduction to Process Algebra Wan Fokkink
Libristo code: 01567116
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, December 1999
Automated and semi-automated manipulation of so-called labelled transition systems has become an imp... Full description
? points 129 b
52.69 € VAT included
In stock at our supplier Shipping in 10-13 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

200 Jahre Psychiatrie an Der Universitat Leipzig Matthias C. Angermeyer / Book Book
common.buy 54.99 €
Autogenes Training: Durch Selbsthypnose und Autosuggestion Stress abbauen, besser einschlafen und Konzentration steigern - inkl. Meditation gegen Rück / Book Paperback
common.buy 15.90 €
Falk Stadtplan Extra Frankfurt am Main 1:20.000 / Printed items Map
common.buy 9.95 €
Historia mundiali. Tom 1. 1930–1974 Leszek Jarosz / Book Hardback
common.buy 18.39 €
Zajęcia rewalidacyjne Zeszyt ćwiczeń dla szkoły podstawowej Klasy 7-8 Część 2 Pańczyk Jolanta / Book Paperback
common.buy 10.69 €
Dziewięć kołatek Troya Czarnecka-Suls Alicja / Book Paperback
common.buy 10.79 €
Velebím Kaylene Brown / Book Hardback
common.buy 15.89 €
Krisen meistern Daniela Landgraf / E-book Adobe ePub DRM
common.buy 13.69 €
Top
Po stopách vlka Cami Wolf / Book Paperback
common.buy 13.39 €
Affordable
HUDEBNÍ KVÍZY Martin Vozar / Book Paperback
common.buy 5.79 €
Demografický vývoj a typologie českého venkova v kontextu prostorových souvisl. Renáta Klufová / Book Paperback
common.buy 24.29 €
A rút kiskacsa + 6 darab puzzle / Book Board book
common.buy 4.59 €
Questionnaire Français. Questions On French Grammar, Idiomatic Difficulties and Military Expressions / Book Paperback
common.buy 23.89 €
Raclette Borut Golob / Book Paperback
common.buy 9.29 €
Carl Gottlieb Svarez: Gesammelte Schriften / Zweite Abteilung: Die Preußische Rechtsreform. I. Das Allgemeine Landrecht: Die Texte. C. Gemeinsames Reg Carl G. Svarez / Book Hardback
common.buy 89.59 €
Denn das Thema der Dichtung ist immer der Mensch Carolin Mülverstedt / Book Paperback
common.buy 37.09 €
corazon del lider Jon Byler / Book Paperback
common.buy 13.79 €
Clara Viebig DIE PASSION Clara Viebig / Book Paperback
common.buy 26.79 €
Obras escogidas V : fundamentos de defectología Lev Semionovich Vygotski / Book Paperback
common.buy 27.29 €
Fenomenología, semiótica y derecho Carlos Alarcón Cabrera / Book Paperback
common.buy 18.79 €
St.-Johannis-Nachts-Traum William Shakespeare / Book Paperback
common.buy 12.90 €
Bau- und Kunstdenkmaler der Provinz Ostpreussen Adolf Boetticher / Book Paperback
common.buy 16.90 €
Jugendgewalt als soziales Problem Lisa Aberle / Book Paperback
common.buy 27.95 €
Die gemeinnützige Stiftung - Der gemeinnützige Fonds Beatrix Schwar / Book Paperback
common.buy 32.39 €

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 - Hardback
Date of issue 1999
Number of pages 168
EAN 9783540665793
ISBN 354066579X
Libristo code 01567116
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 950
Dimensions 155 x 235 x 14

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

Combinatorial Algorithms Jiri Fiala / Book Paperback
common.buy 53.79 €
Blossom Among Flowers Jay E Tria / Book Paperback
common.buy 15.39 €
Cities and Citizenship James Holston / Book Paperback
common.buy 39.09 €
Value-based Human Resource Strategy Laura Brown / Book Paperback
common.buy 77.09 €
Confessions of a Househusband Alan Tapley / Book Paperback
common.buy 15.89 €
Complete History of the Several Translations of the Holy Bible, and New Testament, Into English, Both in Ms. and in Print the Second Edition, with Lar John Lewis / Book Paperback
common.buy 27.89 €
Byzantine Art and Italian Panel Painting Jaroslav Folda / Book Hardback
common.buy 188.19 €
Ask Mr. Bear Marjorie Flack / Book Hardback
common.buy 16.49 €
Nelson Mandela Beatrice Gormley / Book Paperback
common.buy 9.09 €
1 and 2 Chronicles Enrichment Magazine Reed Lessing / Book Paperback
common.buy 15.79 €
Human Induced Environmental Threats Rosemary Charles / Book Hardback
common.buy 130.29 €
Studies in Stanzas ROBERT HENRY NEWELL / Book Paperback
common.buy 20.59 €
An Account of Two Remarkable Trials for Murder, in the Counties of Gloucester and Essex Thomas Overbury / Book Paperback
common.buy 16.89 €
Classical Sheet Music For Flute With Flute & Piano Duets Book 2 Michael Shaw / Book Paperback
common.buy 10.69 €
Mathematical Finance M J Alhabeeb / Book Hardback
common.buy 134.69 €
Artful Experiments ERCHINGER PHILIPP / Book Paperback
common.buy 46.29 €
A Plea for Liberty Thomas Mackay / Book Paperback
common.buy 25.29 €
Seeley's Essentials of Anatomy and Physiology Patton / Book Hardback
common.buy 113.19 €
The Marquis She's Been Waiting For Ella Quinn / Book Paperback
common.buy 14.59 €
Bundle: Pathways: Listening, Speaking, and Critical Thinking 2, 2nd Student Edition + Online Workbook (1-year access) / Book Paperback
common.buy 40.39 €
Love Me for Who I Am Vol. 2 Kata Konayama / Book Paperback
common.buy 11.19 €
The Bayard of India: A Life of General Sir James Outram (1903) Lionel James Trotter / Book Paperback
common.buy 33.69 €
Nature Neighbors - Dots Lines Spirals Coloring Book: New kind of stress relief coloring book for adults Dots And Lines Spirals Coloring Book / Book Paperback
common.buy 7.99 €
Sex With My Family Jessica Anne / Book Paperback
common.buy 11.89 €

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?