-
TaschenbuchBOD - 2 Tage
Both functional and concurrent programming are relatively new paradigms with great promise. In th...
-
TaschenbuchBOD - 2 Tage
This book constitutes the thoroughly refereed post-conference proceedings of the 4th Internationa...
-
TaschenbuchBOD - 2 Tage
Program analysis concerns static techniques for computing reliable approximate information about ...
-
TaschenbuchBOD - 2 Tage
This open access book constitutes the proceedings of the 8th International Conference on Principl...
-
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
Program analysis concerns static techniques for computing reliable approximate information about ...
-
BuchBOD - 7 Tage
This textbook is an introduction to the use of formal methods ranging from semantics of key progr...
- 1