search for books and compare prices
Jorg Desel has written 8 work(s)
Search for other authors with the same name
displaying 1 to 8 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
Product Description: Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to undergraduates, and also used by industrial practitioners...read more
Hardcover:
9780521465199 | Cambridge Univ Pr, January 1, 1995, cover price $88.99 | About this edition: Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them.
Paperback:
9780521019453 | Cambridge Univ Pr, September 8, 2005, cover price $64.99 | About this edition: Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them.
Product Description: This volume is a documentation of the main results in the research area "In- gration of Software Speci?cation Techniques for Applications in Engineering." On one hand it is based on the Priority Program "Integration von Techniken der Softwarespezi?kation fur ] ingenieurwissenschaftliche Anwendungen," short Soft- Spez, oftheGermanResearchCouncil(DFG)...read more
Paperback:
9783540231356 | Springer-Verlag New York Inc, November 15, 2004, cover price $129.00 | About this edition: This volume is a documentation of the main results in the research area "In- gration of Software Speci?
Paperback:
9783540222613 | Springer-Verlag New York Inc, August 31, 2004, cover price $129.00
Paperback:
9783540222354 | Springer-Verlag New York Inc, August 15, 2004, cover price $109.00
Product Description: "Informatik" "Informatik" steht steht rur fiir das das wissenschaftliche wissenschaftliche Gebiet, Gebiet, in in dem dem es es um um die die Entwick Entwick lung lung und und den den Einsatz Einsatz von von Rechnern, Rechnern, insbesondere insbesondere als als Komponenten Komponenten technischer technischer Gerate Gerate und und oft oft komplexer komplexer Rechnernetze Rechnernetze geht...read more
Paperback:
9783540410911 | Springer Verlag, April 24, 2001, cover price $39.95 | About this edition: "Informatik" "Informatik" steht steht rur fiir das das wissenschaftliche wissenschaftliche Gebiet, Gebiet, in in dem dem es es um um die die Entwick Entwick lung lung und und den den Einsatz Einsatz von von Rechnern, Rechnern, insbesondere insbesondere als als Komponenten Komponenten technischer technischer Gerate Gerate und und oft oft komplexer komplexer Rechnernetze Rechnernetze geht.
Product Description: Business processes are among today's hottest topics in the science and practice of information systems. Business processes and workflow management systems attract a lot of attention from R&D professionals in software engineering, information systems, business-oriented computer science, and management sciences...read more (view table of contents, read Amazon.com's description)
Paperback:
9783540674542 | Springer Verlag, May 1, 2000, cover price $129.00 | About this edition: Business processes are among today's hottest topics in the science and practice of information systems.
Paperback:
9780387199825 | Springer Verlag, September 1, 1995, cover price $79.95
Product Description: This book is the proceedings of the Structures in Concurrency Theory workshop (STRICT) that was held from 11 th to l3th May 1995 in Berlin, Germany. It includes three invited contributions - by J. de Bakker, E. Best et aI, and E. R...read more
Paperback:
9783540199823 | Springer Verlag, June 1, 1995, cover price $99.00 | About this edition: This book is the proceedings of the Structures in Concurrency Theory workshop (STRICT) that was held from 11 th to l3th May 1995 in Berlin, Germany.
displaying 1 to 8 |
at end