-
27.04.2007Semantics will have an important role to play in the future development of software systems and d...
TaschenbuchUnser bisheriger Preis:ORGPRICE: 48,50 €
Jetzt 37,40 €Print on DemandAlle Preise inkl. MwSt | Versandkostenfrei -
15.06.2005
The authors describe here a framework in which the type notation of functional languages is exten...
-
05.06.2019
This book constitutes the proceedings of the 21th International Conference on Coordination Models...
-
09.08.2007
The aim of static analysis is to develop principles, techniques and tools for validatingpropertie...
-
25.07.2019
This textbook is an introduction to the use of formal methods ranging from semantics of key progr...
-
13.11.2006
This volume, the 7th in the Transactions on Computational Systems Biology series, contains a full...
-
11.11.2014
This book provides a framework in which the type notation of functional languages is extended to ...
-
15.03.1999
Concurrent and distributed processes occur everywhere: in embedded systems, in information networ...
- 1