Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Introduction to Process Algebra

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

Wan Fokkink

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01653571

Nakladateľstvo 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... Celý popis

Libristo kód: 01653571

122 b

50.62 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Brožovaná

34.93 €

Poppy Playtime Amis pour la mort Virgile Iscan

Brožovaná

17.10 €

Woerterbucher - Mittel nationalsozialistischer Propaganda Helena Drewa

Brožovaná

16.19 €

Souvenirs de jeunesse 1939 - 1945 Paul Kalt

Brožovaná

6.77 €

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

Pevná

22.98 €

Solitudini e I Luoghi Marianna Piani

Brožovaná

12.75 €

Iliade Omero

Brožovaná

15.18 €

Bad Romance, T3 : Coeurs imprudents Céline Mancellon

Brožovaná

14.27 €

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

Brožovaná

29.46 €

Histoire Populaire Abregee de Napoleon III De Cassagnac-P

Brožovaná

14.77 €

Monster Loving Maniacs, Bildergalerie, 200 Teile

Hra

9.20 €

Chuť ticha Štefánia Baranová

Pevná

10.93 €

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

Adobe ePub DRM

14.27 €

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

Brožovaná

10.62 €

Psychopatologia życia codziennego Marzenia senne Sigmund Freud

Brožovaná

21.05 €

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

Brožovaná

11.53 €

Mein Tierspaß Rebecca Schmalz

Leporelo

10.32 €

Ballando Francesca Giraudo

Brožovaná

12.34 €

Miasto gangów Czeszumski Łukasz

Brožovaná

10.22 €

Bristol UK Aerial Photographs and Tourist Attractions Llewelyn Pritchard Ma

Brožovaná

11.53 €

Memospiel Mein erstes Memo

Hra

9.00 €

Death Magnetic Metallica

Audio CD

25.31 €

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

Hračka

15.79 €

culpabilite comme facteur suicidaire Julia Rysyukova Julia

Brožovaná

35.74 €

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.