
Finite and Algorithmic Model Theory
9780521718202 London Mathematical Society Lecture Note Series Heftet
10.03.2011
Engelsk
Produseres på bestilling

Cambridge Tracts in Theoretical Computer Science
|
Heftet
Leveringstid: 2-4 uker
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.
08.09.2005
9780521019453
, Engelsk
Cambridge University Press
Matematikk og naturvitenskap
Cambridge Tracts in Theoretical Computer Science
256
16.8 cm
24.2 cm