Finite and Algorithmic Model Theory
9780521718202 London Mathematical Society Lecture Note Series Heftet
10.03.2011
Engelsk
Produseres pÄ bestilling
Free Choice Petri Nets
Cambridge Tracts in Theoretical Computer Science
|
Heftet
Produseres pÄ bestilling
Leveringstid: 2-4 uker
Handlinger
Beskrivelse
Omtale
Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems. The text is very clearly organised, with every notion carefully explained and every result proved. Clear exposition is given for place invariants, siphons, traps and many other important analysis techniques.
Detaljer
-
Utgivelsesdato:
08.09.2005
-
ISBN:
9780521019453
-
SprÄk:
, Engelsk
-
Forlag:
Cambridge University Press
-
Fagtema:
Matematikk og naturvitenskap
-
Serie:
Cambridge Tracts in Theoretical Computer Science
-
Litteraturtype:
-
Sider:
256
-
HĂžyde:
16.8 cm
-
Bredde:
24.2 cm
Andre bĂžker av samme forfatter