Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Petri Net Algebra

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

Eike Best

Raymond Devillers

Maciej Koutny

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01567356

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Jänner 2001

This book presents a step-by-step development of a rigorous framework for the specification and veri... Vollständige Beschreibung

Libristo-Code: 01567356

417 b

170.39 € inkl. MwSt.

Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

Broschur

17.40 €

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

Broschur

19.90 €

American Photographs, Jubiläumsausgabe Walker Evans

Hardcover

54.79 €

Komparatistik in Lateinamerika Beatrice Strohschneider

Broschur

40.59 €

DJ PACO - HORS-SERIE MAGALI LE HUCHE

Hardcover

21.59 €

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

Broschur

13.39 €

Natorp Paul 1882 Descartes' Erkenntnistheorie Paul Natorp

Broschur

11.90 €

Flora Hiroshi Yoshimura

Audio CD

36.69 €

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

Broschur

10.19 €

Strany Severnoy Afriki Sapronova Marina

Broschur

157.79 €

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

Broschur

24.19 €

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

Broschur

4.49 €

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

Broschur

9.69 €

200 motifs à tricoter Rangel

Broschur

24.79 €

Methodik zur Gestaltung und Bewertung von modularen Werkzeugen Wolfgang Boos

Broschur

39.00 €

cedula de identidad ciudadana en Mexico Eber Omar Betanzos Torres

Broschur

43.19 €

Hayir Diyen Felsefe Gaston Bachelard

Broschur

15.00 €

Geometri Mustafa Kemal Atatürk

Broschur

10.09 €

Povídky 2 Ladislav Grosman

Hardcover

11.29 €

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

Broschur

9.59 €

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

Broschur

2.39 €

Mokusei Cees Nooteboom

Broschur

14.19 €

Ligeros libertinajes sabáticos Mercedes Abad

Broschur

10.99 €

Götter der Sterne Lars A. Fischinger

Broschur

19.96 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Petri Net Algebra

Autor Eike Best, Raymond Devillers, Maciej Koutny

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2001

Anzahl der Seiten 378

EAN 9783540673989

ISBN 3540673989

Libristo-Code 01567356

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

Gewicht 1620

Abmessungen 155 x 235 x 27

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)

Mathematik und Naturwissenschaften > Mathematik > Diskrete Mathematik

Mathematik und Naturwissenschaften > Mathematik > Algebra

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Computernetzwerke und maschinelle Kommunikation > Verteilte Systeme

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert