-
TaschenbuchBOD - 2 Tage
The aim of static analysis is to develop principles, techniques and tools for validatingpropertie...
-
TaschenbuchBOD - 2 Tage
Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebr...
-
TaschenbuchBOD - 2 Tage
This book constitutes the proceedings of the 21th International Conference on Coordination Models...
-
TaschenbuchBOD - 5 Tage
The authors describe here a framework in which the type notation of functional languages is exten...
-
BuchBOD - 7 Tage
The authors describe here a framework in which the type notation of functional languages is exten...
-
BuchBOD - 7 Tage
This textbook is an introduction to the use of formal methods ranging from semantics of key progr...
- 1