-
TaschenbuchPrint on Demand
Both functional and concurrent programming are relatively new paradigms with great promise. In th...
-
TaschenbuchPrint on Demand
The authors describe here a framework in which the type notation of functional languages is exten...
-
BuchPrint on Demand
This book provides a framework in which the type notation of functional languages is extended to ...
-
TaschenbuchPrint on Demand
This book constitutes the thoroughly refereed post-conference proceedings of the 4th Internationa...
-
BuchPrint on Demand
Program analysis concerns static techniques for computing reliable approximate information about ...
-
TaschenbuchPrint on Demand
Program analysis concerns static techniques for computing reliable approximate information about ...
-
BuchPrint on Demand
This textbook is an introduction to the use of formal methods ranging from semantics of key progr...
-
TaschenbuchPrint on Demand
This open access book constitutes the proceedings of the 8th International Conference on Principl...
- 1