Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

A rendelés állapotának ellenőrzése

Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció

Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén

DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft

Kapcsolat

Hogyan vásároljunk

Segítség

Saját fiók

▸ Üres :-(

Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Petri Net Algebra

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

Eike Best

Raymond Devillers

Maciej Koutny

Nyelv

Angol

Könyv Kemény kötésű

Libristo kód: 01567356

Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, január 2001

This book presents a step-by-step development of a rigorous framework for the specification and veri... Teljes leírás

Libristo kód: 01567356

438 b

65 321 Ft

Beszállítói készleten Küldés 14-21 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

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

Puha kötésű

6 941 Ft

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

Puha kötésű

6 699 Ft

American Photographs, Jubiläumsausgabe Walker Evans

Kemény kötésű

21 892 Ft

Komparatistik in Lateinamerika Beatrice Strohschneider

Puha kötésű

15 579 Ft

DJ PACO - HORS-SERIE MAGALI LE HUCHE

Kemény kötésű

8 657 Ft

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

Puha kötésű

5 448 Ft

Natorp Paul 1882 Descartes' Erkenntnistheorie Paul Natorp

Puha kötésű

4 539 Ft

Flora Hiroshi Yoshimura

Audio CD

14 447 Ft

Мертвые хризантемы Marina Kramer

Puha kötésű

3 520 Ft

Strany Severnoy Afriki Sapronova Marina

Puha kötésű

63 007 Ft

Réflexions sur l'identité, la culture et la littérature belges Andrei

Puha kötésű

10 358 Ft

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

Puha kötésű

1 810 Ft

Lógica, Refer?ncia, Intencionalidade e "T?T?": O pressuposto existencial relativo ao referente, os enunciados n?o-constatativos no uso de uma linguage Luiz Augusto Lima de Avila

Puha kötésű

4 028 Ft

200 motifs à tricoter Rangel

Puha kötésű

9 908 Ft

Methodik zur Gestaltung und Bewertung von modularen Werkzeugen Wolfgang Boos

Puha kötésű

13 596 Ft

cedula de identidad ciudadana en Mexico Eber Omar Betanzos Torres

Puha kötésű

17 265 Ft

Hayir Diyen Felsefe Gaston Bachelard

Puha kötésű

5 939 Ft

Geometri Mustafa Kemal Atatürk

Puha kötésű

4 000 Ft

Povídky 2 Ladislav Grosman

Kemény kötésű

4 267 Ft

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

Puha kötésű

3 986 Ft

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

Puha kötésű

1 157 Ft

Mokusei Cees Nooteboom

Puha kötésű

5 760 Ft

Ligeros libertinajes sabáticos Mercedes Abad

Puha kötésű

4 430 Ft

Götter der Sterne Lars A. Fischinger

Puha kötésű

6 715 Ft

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.

Színésznő & Poliglott

EWA KASP részére

A videó lejátszása

A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Petri Net Algebra

Szerző Eike Best, Raymond Devillers, Maciej Koutny

Nyelv

Angol

Kötés Könyv - Kemény kötésű

Kiadás éve 2001

Oldalszám 378

EAN 9783540673989

ISBN 3540673989

Libristo kód 01567356

Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly 1620

Méretek 155 x 235 x 27

Kategória

Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika

Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete > Matematikaelmélet számítástechnikai tudósok számára

Számítástechnika és információtechnológia > Számítógéptudomány > Ember-számítógép interakció > Használói interfész dizájn és használhatóság

Matematika és természettudomány > Matematika > Diszkrét matematika

Matematika és természettudomány > Matematika > Algebra

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány

Számítástechnika és információtechnológia > Számítógépes hálózat és kommunikáció > Elosztott rendszerek

Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés

Ajándékozza oda ezt a könyvet még ma

Nagyon egyszerű

1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére