Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Petri Net Algebra

Name: Petri Net Algebra
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567356
Price: 4060 CZK
Availability: InStock
Author: Eike Best
ISBN: 9783540673989

Eike Best

Raymond Devillers

Maciej Koutny

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 01567356

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, leden 2001

This book presents a step-by-step development of a rigorous framework for the specification and veri... Celý popis

Libristo kód: 01567356

406 b

4 060 Kč

Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Las Gemelas de Auschwitz / The Twins of Auschwitz. the Inspiring True Story of a Young Girl Surviving Mengele's Hell Mozes Kor

Brožovaná

393 Kč

Natorp Paul 1882 Descartes' Erkenntnistheorie Paul Natorp

Brožovaná

304 Kč

Flora Hiroshi Yoshimura

Audio CD

857 Kč

via dello sciamano verso la libertà. Un libro di saggezza tolteca José Ruiz

Brožovaná

365 Kč

LESEMAUS 167: Unsere Körper - Von Kopf bis Fuß Catharina Westphal

Brožovaná

106 Kč

EDITO A1 ELEVE 2022

Kniha

627 Kč

Ligeros libertinajes sabáticos Mercedes Abad

Brožovaná

298 Kč

DJ PACO - HORS-SERIE MAGALI LE HUCHE

Pevná

599 Kč

Luftkrieg von Aschaffenburg bis Zwiesel, 3 Teile Harald G. Dill

Pevná

1 190 Kč

Komparatistik in Lateinamerika Beatrice Strohschneider

Brožovaná

1 044 Kč

American Photographs, Jubiläumsausgabe Walker Evans

Pevná

1 488 Kč

Lesen(d) lernen - Texte besser verstehen Marion Bönnighausen

Brožovaná

383 Kč

Methodik zur Gestaltung und Bewertung von modularen Werkzeugen Wolfgang Boos

Brožovaná

912 Kč

cedula de identidad ciudadana en Mexico Eber Omar Betanzos Torres

Brožovaná

997 Kč

200 motifs à tricoter Rangel

Brožovaná

684 Kč

Strany Severnoy Afriki Sapronova Marina

Brožovaná

913 Kč

Treibeis Captain Planet

Audio CD

316 Kč

Götter der Sterne Lars A. Fischinger

Brožovaná

384 Kč

Matematické minutovky 7. ročník / 1. díl Miroslav Hricz

Brožovaná

56 Kč

The Clouds- The Dirty Boy-The Bee and the Butterfly: Three Grandma Stories Mrs Nadima S Obeid

Brožovaná

234 Kč

Povídky 2 Ladislav Grosman

Pevná

258 Kč

Geometri Mustafa Kemal Atatürk

Brožovaná

234 Kč

Hayir Diyen Felsefe Gaston Bachelard

Brožovaná

348 Kč

This book presents a step-by-step development of a rigorous framework for the specification and verification of concurrent systems. Petri Net Algebra takes its inspiration and methods from Process Algebra and Petri Nets, two prominent branches of concurrency theory. Added synergistic benefit is derived from combining their respective advantages.Petri nets are treated as composable objects, and as such they are embedded in a general process algebra. On the other hand, a generic process algebra is given an automatic Petri net semantics so that net-based verification techniques, based on structural invariants and causal partial orders, can be applied to the process algebra.The book contains full proofs, carefully chosen examples and several possible directions for further research. A unique aspect is that the development of the Petri net algebra is handled so as to allow for further application-oriented extensions and modifications.