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 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 133 b
19 426 Ft
In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

200 Jahre Psychiatrie an Der Universitat Leipzig Matthias C. Angermeyer / Book Book
common.buy 19 951 Ft
Autogenes Training: Durch Selbsthypnose und Autosuggestion Stress abbauen, besser einschlafen und Konzentration steigern - inkl. Meditation gegen Rück / Book Paperback
common.buy 5 560 Ft
Falk Stadtplan Extra Frankfurt am Main 1:20.000 / Printed items Map
common.buy 3 429 Ft
Historia mundiali. Tom 1. 1930–1974 Leszek Jarosz / Book Hardback
common.buy 6 231 Ft
Zajęcia rewalidacyjne Zeszyt ćwiczeń dla szkoły podstawowej Klasy 7-8 Część 2 Pańczyk Jolanta / Book Paperback
common.buy 3 650 Ft
Dziewięć kołatek Troya Czarnecka-Suls Alicja / Book Paperback
common.buy 3 636 Ft
Velebím Kaylene Brown / Book Hardback
common.buy 5 385 Ft
Krisen meistern Daniela Landgraf / E-book Adobe ePub DRM
common.buy 4 671 Ft
Top
Po stopách vlka Cami Wolf / Book Paperback
common.buy 4 510 Ft
Affordable
HUDEBNÍ KVÍZY Martin Vozar / Book Paperback
common.buy 2 057 Ft
Demografický vývoj a typologie českého venkova v kontextu prostorových souvisl. Renáta Klufová / Book Paperback
common.buy 8 261 Ft
A rút kiskacsa + 6 darab puzzle / Book Board book
common.buy 1 519 Ft
Questionnaire Français. Questions On French Grammar, Idiomatic Difficulties and Military Expressions / Book Paperback
common.buy 8 800 Ft
Raclette Borut Golob / Book Paperback
common.buy 3 139 Ft
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 30 504 Ft
Denn das Thema der Dichtung ist immer der Mensch Carolin Mülverstedt / Book Paperback
common.buy 12 578 Ft
corazon del lider Jon Byler / Book Paperback
common.buy 5 081 Ft
Clara Viebig DIE PASSION Clara Viebig / Book Paperback
common.buy 9 094 Ft
Obras escogidas V : fundamentos de defectología Lev Semionovich Vygotski / Book Paperback
common.buy 9 338 Ft
Fenomenología, semiótica y derecho Carlos Alarcón Cabrera / Book Paperback
common.buy 6 434 Ft
St.-Johannis-Nachts-Traum William Shakespeare / Book Paperback
common.buy 4 524 Ft
Bau- und Kunstdenkmaler der Provinz Ostpreussen Adolf Boetticher / Book Paperback
common.buy 5 896 Ft
Jugendgewalt als soziales Problem Lisa Aberle / Book Paperback
common.buy 9 674 Ft
Die gemeinnützige Stiftung - Der gemeinnützige Fonds Beatrix Schwar / Book Paperback
common.buy 11 004 Ft

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 19 818 Ft
Blossom Among Flowers Jay E Tria / Book Paperback
common.buy 5 661 Ft
Cities and Citizenship James Holston / Book Paperback
common.buy 14 304 Ft
Value-based Human Resource Strategy Laura Brown / Book Paperback
common.buy 27 526 Ft
Confessions of a Househusband Alan Tapley / Book Paperback
common.buy 5 808 Ft
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 10 332 Ft
Byzantine Art and Italian Panel Painting Jaroslav Folda / Book Hardback
common.buy 61 560 Ft
Ask Mr. Bear Marjorie Flack / Book Hardback
common.buy 6 130 Ft
Nelson Mandela Beatrice Gormley / Book Paperback
common.buy 3 355 Ft
1 and 2 Chronicles Enrichment Magazine Reed Lessing / Book Paperback
common.buy 5 781 Ft
Human Induced Environmental Threats Rosemary Charles / Book Hardback
common.buy 47 988 Ft
Studies in Stanzas ROBERT HENRY NEWELL / Book Paperback
common.buy 7 617 Ft
An Account of Two Remarkable Trials for Murder, in the Counties of Gloucester and Essex Thomas Overbury / Book Paperback
common.buy 6 204 Ft
Classical Sheet Music For Flute With Flute & Piano Duets Book 2 Michael Shaw / Book Paperback
common.buy 3 940 Ft
Mathematical Finance M J Alhabeeb / Book Hardback
common.buy 49 475 Ft
Artful Experiments ERCHINGER PHILIPP / Book Paperback
common.buy 16 927 Ft
A Plea for Liberty Thomas Mackay / Book Paperback
common.buy 9 324 Ft
Seeley's Essentials of Anatomy and Physiology Patton / Book Hardback
common.buy 41 522 Ft
The Marquis She's Been Waiting For Ella Quinn / Book Paperback
common.buy 5 385 Ft
Bundle: Pathways: Listening, Speaking, and Critical Thinking 2, 2nd Student Edition + Online Workbook (1-year access) / Book Paperback
common.buy 13 761 Ft
Love Me for Who I Am Vol. 2 Kata Konayama / Book Paperback
common.buy 4 128 Ft
The Bayard of India: A Life of General Sir James Outram (1903) Lionel James Trotter / Book Paperback
common.buy 12 389 Ft
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 2 918 Ft
Sex With My Family Jessica Anne / Book Paperback
common.buy 4 423 Ft

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?