Broschiertes Buch
Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen
1998.
1. Mai 1998
Vieweg+Teubner
Broschiertes Buch
2001
24. April 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-41091-1
Broschiertes Buch
1992
1. Januar 1992
Deutscher Universitätsverlag
978-3-8244-2030-8
![Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen - Promise 2002 : 9. - 11. Oktober 2002 in Potsdam ; [Workshop der Gesellschaft für Informatik e.V. (GI) und Treffen ihrer Fachgruppen "Petrinetze und Verwandte Systemmodelle" und " Entwicklungsmethoden für Informationssysteme und deren Anwendung" (EMISA)] / Gesellschaft für Informatik. Jörg Desel ; Mathias](https://bilder.buecher.de/produkte/23/23974/23974971m.jpg "Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen - Promise 2002 : 9. - 11. Oktober 2002 in Potsdam ; [Workshop der Gesellschaft für Informatik e.V. (GI) und Treffen ihrer Fachgruppen \"Petrinetze und Verwandte Systemmodelle\" und \" Entwicklungsmethoden für Informationssysteme und deren Anwendung\" (EMISA)] / Gesellschaft für Informatik. Jörg Desel ; Mathias"){kind=small}
Broschiertes Buch
Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004, Proceedings
2004
14. Juni 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11013068,978-3-540-22235-4
Broschiertes Buch
Advances in Petri Nets
2004
14. Juni 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11013105,978-3-540-22261-3
Broschiertes Buch
Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
2004
22. September 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11323723,978-3-540-23135-6
Broschiertes Buch
Models, Techniques, and Empirical Studies
2000.
19. April 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
10720204,978-3-540-67454-2
Ähnlichkeitssuche: Fact®Finder von OMIKRON
