Free delivery for orders over 69.99 euro.

Check order status

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

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Introduction to Process Algebra

Name: Introduction to Process Algebra
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01653571
Price: 50.63 EUR
Availability: InStock
Author: Wan Fokkink
ISBN: 9783642085840

Wan Fokkink

Language

English

Book Paperback

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

Libristo code: 01653571

122 b

50.63 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Dinamica atmosferica y los procesos tormentosos severos Raúl César Pérez

Paperback

34.93 €

LA PARTICIPACIÓN ESPAÑOLA EN LAS CRUZADAS FERNÁNDEZ DE NAVARRETE

Paperback

22.47 €

Agba Nwa-nnụnụ Parọt David E. McAdams

Paperback

11.33 €

culpabilite comme facteur suicidaire Julia Rysyukova Julia

Paperback

35.74 €

Iliade Omero

Paperback

15.18 €

Blancanieves Equipo Editorial

Paperback

2.42 €

EL TEATRO ES PURA QUIMICA LA QUIMICA ES PURO TEATRO POU AMERIGO

Hardback

22.98 €

Souvenirs de jeunesse 1939 - 1945 Paul Kalt

Paperback

6.78 €

Woerterbucher - Mittel nationalsozialistischer Propaganda Helena Drewa

Paperback

16.20 €

Poppy Playtime Amis pour la mort Virgile Iscan

Paperback

17.11 €

Monster Loving Maniacs, Bildergalerie, 200 Teile

Game

9.21 €

Chuť ticha Štefánia Baranová

Hardback

14.27 €

War has another face: the inheritance of colonialism, the path of capitalism, the ruin of the planet Amitav Ghosh

Adobe ePub DRM

14.27 €

BROCKHAUSEN Bastelbuch Bd. 4 - Das große Buch zum Ausmalen und Prickeln: Schmetterlinge Dortje Golldack

Paperback

12.14 €

Histoire Populaire Abregee de Napoleon III De Cassagnac-P

Paperback

15.59 €

Essai sur l'efficience des regimes internationaux Bouoli Roger Wilfried

Paperback

77.37 €

Ensayos filosóficos y políticos Cristóbal Montes

Paperback

29.46 €

Theodor Storm Gerd Eversberg

Hardback

14.98 €

Solitudini e I Luoghi Marianna Piani

Paperback

13.36 €

Viaje a Nápoles MARQUES DE SADE

Paperback

22.68 €

Death Magnetic Metallica

Audio CD

25.31 €

Chimeres Gabily

Book

14.07 €

Mein Tierspaß Rebecca Schmalz

Board book

10.32 €

Ballando Francesca Giraudo

Paperback

13.06 €

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.