Pay in 4 interest-free payments of $16.05 Learn more
Ships within 48 hours · Estimated delivery Aug 18 - Aug 23
and integrated faunal analyses
static analysis of concurrent languages
Hierzu werden ökonomische
im Zeitraum zwischen Dezember 2002 und Februar 2003
It unifies
Coloured Petri Nets formatIsbn:Softcover - 9783642425813 and integrated faunal analysesColoured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such systems is particularly challenging because of inherent intricacies like possible nondeterminism and the immense number of possible execution sequences. In this textbook Jensen and Kristensen introduce the constructs of the CPN modelling language and
US$ 73.81
US$ 117.37
US$ 199.97
US$ 100.19
US$ 139.97
