-
EbookSofort lieferbarFormal methods traditionally address the question of transforming software engineering into a mat...
-
EbookSofort lieferbar
This book constitutes the refereed proceedings of the 10th International Conference on Integrated...
-
EbookSofort lieferbar
The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was he...
-
EbookSofort lieferbar
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, ...
-
BuchPrint on Demand
Rapid development of digital technologies has led to the widespread use of software in all aspect...
-
TaschenbuchPrint on Demand
This book constitutes the refereed proceedings of the 10th International Conference on Integrated...
-
TaschenbuchPrint on Demand
The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was he...
-
TaschenbuchPrint on Demand
This book constitutes the refereed proceedings of the Third International Workshop and Tutoria...
- 1