1
0
0
(1 - 17 von 21
)
Purzelbaum (Spielware), Thomas Liesching, Harald Fecherm.hugendubel.de › spielware › thomas_liesching_haral...
www.hugendubel.de
Purzelbaum, Spielware von Thomas Liesching, Harald Fecher bei hugendubel.de. Portofrei bestellen oder in der Filiale abholen.
Infos zu 'Harald Fecher' - Ludingwww.luding.org › cgi-bin › AuthorData
www.luding.org
Autor/in: Harald Fecher. Ausgezeichnete Spiele: Spiel der Spiele: Spiele für KinderPurzelbaum (2019). Veröffentlichte Spiele. Purzelbaum, 2019, Zoch · Thomas ...
Formal Methods and Software Engineering: 7th International Conference...
books.google.de
This book constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in...
Process Algebra and Probabilistic Methods: Performance Modeling and...
books.google.de
... on Programming and Systems, 16(6): – 1674, Probabilistic Unfoldings and Partial Order Fairness in Petri Nets Stefan 94 Harald Fecher et al.
Purzelbaum (Spielware), Thomas Liesching, Harald Fecherwww.hugendubel.de › sonstige_artikel › thomas_liesching_harald_fec...
www.hugendubel.de
Purzelbaum, Spielware von Thomas Liesching, Harald Fecher bei hugendubel.de. Online bestellen oder in der Filiale abholen.
Harald Fecher | XanEdu Customization Platform
www.academicpub.com
Use materials by this author in your textbook! AcademicPub holds over eight million pieces of educational content – such as case studies and journal articles ...
Tools and Algorithms for the Construction and Analysis of Systems:...
books.google.de
This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution,...
VMCAI Ny) Vmcai 200 (2003 New York - Google Books
books.google.de
Action Refinement from a Logical Point of View Mila Majster-Cederbaum, Naijun Zhan, and Harald Fecher Lehrstuhl für Praktische Informatik II, Fakultät für ...
Verification, Model Checking, and Abstract Interpretation: 9th...
books.google.de
Model Checking for Action Abstraction⋆ Harald Fecher and Michael Huth Imperial College London, United Kingdom .ac.uk Abstract.
Formal Methods and Software Engineering: 7th International ...
books.google.lv
29 New Unclarities in the Semantics of UML 2.0 State Machines⋆ Harald Fecher, Jens Schönborn, Marcel Kyas, and Willem-Paul de Roever ...
Model Checking Software: 13th International SPIN Workshop, Vienna,...
books.google.de
abstraction in the same spirit as the one for KMTS, Markovian Systems Don't Know in Probabilistic Systems Harald Fecher, Martin Leucker, Verena Wolf.
SCEAS
sceas.csd.auth.gr
Compositional Verification and 3-Valued Abstractions Join Forces. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp: [Conf]; Harald Fecher, Sharon Shoham
CONCUR Concurrency Theory: 14th International Conference,...
books.google.de
... Delzanno Stephane Demri Josee Desharnais Raymond Devillers Sophia Drossopoulou Kousha Etessami Harald Fecher Bernd Finkbeiner Cormac Flanagan ...
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant...
books.google.de
... II: The semantics of sequential systems with silent moves (extended abstract). In Best [6], pages 66– Harald Fecher.
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG...
books.google.de
This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems,...
On the Pragmatics of Graphical Modeling - Hauke Fuhrmann - Google...
books.google.de
[FSKdR05] Harald Fecher, Jens Schönborn, Marcel Kyas, and Willem P. [FSMvH10] [FvH09a] [FvH09b] [FvH09c] [FvH10a] [FvH10b] de Roever. 29 new ...
Action Refinement in End Based Choice Settings - Harald Fecher -...
books.google.de
Harald Fecher pages. 0 Reviewshttp://books.google.com/books/about/Action_Refinement_in_End_Based_Choice_Se.html?id=j6jGngEACAAJ ...
sortiert nach Relevanz / Datum