Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Kurier DPD 4.49 € Kurier Hermes 4.99 € Kurier DHL 3.99 € Punkt Hermes 4.49 € Punkt DPD 2.99 € Kurier GLS 4.99 €

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Introduction to Process Algebra

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

Wan Fokkink

Język

Angielski

Książka Miękka

Kod Libristo: 01653571

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, grudzień 2010

Automated and semi-automated manipulation of so-called labelled transition systems has become an imp... Cały opis

Kod Libristo: 01653571

109 b

44.39 € včetně DPH

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

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

Miękka

30.39 €

Poppy Playtime Amis pour la mort Virgile Iscan

Miękka

13.69 €

Chuť ticha Štefánia Baranová

Twarda

11.19 €

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

Twarda

18.99 €

Monster Loving Maniacs, Bildergalerie, 200 Teile

Gra

10.99 €

Iliade Omero

Miękka

11.79 €

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

Miękka

9.09 €

Solitudini e I Luoghi Marianna Piani

Miękka

11.29 €

Woerterbucher - Mittel nationalsozialistischer Propaganda Helena Drewa

Miękka

17.95 €

Souvenirs de jeunesse 1939 - 1945 Paul Kalt

Miękka

5.99 €

Dřevěné kostky Cars ve světě Disney - Pixar

Zabawka

12.89 €

Differenzierte Lesespurgeschichten Deutsch Grundschule Blomann

Miękka

26.99 €

Histoire Populaire Abregee de Napoleon III De Cassagnac-P

Miękka

11.99 €

La batalla de Elista : campeonato del mundo 2006 Zhyvko Ginchev

Miękka

26.69 €

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

Miękka

23.49 €

Opera Dogmatica Minora, in Illud; Tunc Et Ipse Filius: Opera Dogmatica Minora, Pars II Gregorius Nyssenus

Twarda

243.09 €

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

Miękka

18.49 €

Death Magnetic Metallica

CD Audio

22.99 €

Bristol UK Aerial Photographs and Tourist Attractions Llewelyn Pritchard Ma

Miękka

10.19 €

Ballando Francesca Giraudo

Miękka

13.59 €

Memospiel Mein erstes Memo

Gra

9.99 €

Plancha Lagandré

Miękka

6.99 €

Bad Romance, T3 : Coeurs imprudents Céline Mancellon

Miękka

11.39 €

Blancanieves Equipo Editorial

Miękka

1.99 €

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.