Transactions on Petri Nets and Other Models of Concurrency XV | Academicbooks.dk

Transactions on Petri Nets and Other Models of Concurrency XV

Af

Author

E-bog

Full Access

456,60 kr.

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf.
Se mere her

Sidelayoutet er fleksibelt / tilpasser sig læsevinduet. Sidenumre passer derfor ikke altid med den trykte bog.

Print: 2 page-prints
Excerpt: 2 copy-operations

30 days rental

193,45 kr.

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf.
Se mere her

Sidelayoutet er fleksibelt / tilpasser sig læsevinduet. Sidenumre passer derfor ikke altid med den trykte bog.

Print: 2 page-prints
Excerpt: 2 copy-operations

60 days rental

199,56 kr.

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf.
Se mere her

Sidelayoutet er fleksibelt / tilpasser sig læsevinduet. Sidenumre passer derfor ikke altid med den trykte bog.

Print: 2 page-prints
Excerpt: 2 copy-operations

90 days rental

242,40 kr.

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf.
Se mere her

Sidelayoutet er fleksibelt / tilpasser sig læsevinduet. Sidenumre passer derfor ikke altid med den trykte bog.

Print: 2 page-prints
Excerpt: 2 copy-operations

120 days rental

285,25 kr.

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf.
Se mere her

Sidelayoutet er fleksibelt / tilpasser sig læsevinduet. Sidenumre passer derfor ikke altid med den trykte bog.

Excerpt: 2 copy-operations
Print: 2 page-prints

180 days rental

306,74 kr.

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf.
Se mere her

Sidelayoutet er fleksibelt / tilpasser sig læsevinduet. Sidenumre passer derfor ikke altid med den trykte bog.

Excerpt: 2 copy-operations
Print: 2 page-prints

365 days rental

456,60 kr.

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf.
Se mere her

Sidelayoutet er fleksibelt / tilpasser sig læsevinduet. Sidenumre passer derfor ikke altid med den trykte bog.

Print: 2 page-prints
Excerpt: 2 copy-operations

Bemærk venligst, at den normale 14 dages fortrydelsesret ophører ved modtagelse af adgang til e-bogen.

Produkt beskrivelse

The 15th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 40th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2019, and the 19th International Conference on Application of Concurrency to System Design, ACSD 2019. The papers cover a diverse range of topics including model checking and system verification, refinement and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: process mining, verification, formal semantics, communication protocols, business processes, distributed systems, and net synthesis. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.

Detaljer

ISBN13 9783662630792
Udgivet 2021
Forlag Springer
Format Elektronisk medie
Sprog Engelsk