Ihre Suche ergab 31 Treffer.
Tools and Algorithms for the Construction and Analysis of Systems
10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
High-level Petri Nets
Theory and Application
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Tools and Algorithms for the Construction and Analysis of Systems
10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
106,99 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Coloured Petri Nets
Modelling and Validation of Concurrent Systems
Produktform: E-Buch Text Elektronisches Buch in proprietärem
64,19 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Coloured Petri Nets
Modelling and Validation of Concurrent Systems
Produktform: Buch / Einband - fest (Hardcover)
85,59 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Coloured Petri Nets
Modelling and Validation of Concurrent Systems
Produktform: Buch / Einband - flex.(Paperback)
64,19 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Transactions on Petri Nets and Other Models of Concurrency III
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Transactions on Petri Nets and Other Models of Concurrency V
Produktform: E-Buch Text Elektronisches Buch in proprietärem
This book presents 12 papers on Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. Covers model checking and system verification, synthesis, work on specific classes of Petri nets and more.
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Transactions on Petri Nets and Other Models of Concurrency IV
Produktform: E-Buch Text Elektronisches Buch in proprietärem
This book presents archival papers on Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. Includes a selection of the best papers from workshops and tutorials at annual Petri net conferences.
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage