Kurt jensen u a (6 Ergebnisse)

Taschenbuch. Zustand: Neu. High-level Petri Nets | Theory and Application | Grzegorz Rozenberg (u. a.) | Taschenbuch | x | Englisch | 1991 | Springer-Verlag GmbH | EAN 9783540541257 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter:…

Taschenbuch. Zustand: Neu. Transactions on Petri Nets and Other Models of Concurrency VII | Kurt Jensen (u. a.) | Taschenbuch | xvi | Englisch | 2013 | Springer | EAN 9783642381423 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter:…

Taschenbuch. Zustand: Neu. Transactions on Petri Nets and Other Models of Concurrency I | Wil M. P. van der Aalst (u. a.) | Taschenbuch | xviii | Englisch | 2008 | Springer | EAN 9783540892861 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com…

Taschenbuch. Zustand: Neu. Transactions on Petri Nets and Other Models of Concurrency VI | Wil M. P. van der Aalst (u. a.) | Taschenbuch | xx | Englisch | 2012 | Springer | EAN 9783642351785 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com |…

Taschenbuch. Zustand: Neu. Coloured Petri Nets | Modelling and Validation of Concurrent Systems | Kurt Jensen (u. a.) | Taschenbuch | xi | Englisch | 2014 | Springer | EAN 9783642425813 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbie…

Taschenbuch. Zustand: Neu. 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 | Kurt Jensen (u. a.) | Taschenbuch | Ein…