-
EbookSofort lieferbarRefinement is the term used to describe systematic and formal methods of specifying hard- and sof...
-
EbookSofort lieferbar
The book presents the life and works of one of Germany's most famous computer scientists, Carl Ad...
-
EbookSofort lieferbar
This book contains the eight invited papers presented at the workshop on Formal Aspects of Measur...
-
TaschenbuchPrint on Demand
This book contains the eight invited papers presented at the workshop on Formal Aspects of Measur...
-
TaschenbuchPrint on Demand
This volume presents the proceedings of the Second International Symposium of Formal Methods Euro...
-
TaschenbuchPrint on Demand
Refinement is the term used to describe systematic and formal methods of specifying hard- and sof...
-
BuchPrint on Demand
The book presents the life and works of one of Germany's most famous computer scientists, Carl Ad...
-
TaschenbuchPrint on Demand
The book presents the life and works of one of Germany's most famous computer scientists, Carl Ad...
- 1