-
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
The aim of static analysis is to develop principles, techniques and tools for validatingpropertie...
-
TaschenbuchPrint on Demand
This volume, the 7th in the Transactions on Computational Systems Biology series, contains a full...
-
BuchPrint on Demand
This textbook is an introduction to the use of formal methods ranging from semantics of key progr...
-
TaschenbuchPrint on Demand
This book constitutes the proceedings of the 21th International Conference on Coordination Models...
- 1