-
EbookSofort lieferbarThis book presents reflections on the occasion of 20 years on the KeY project that focuses on ded...
-
EbookSofort lieferbar
Static analysis of software with deductive methods is a highly dynamic field of research on the v...
-
BuchSofort lieferbar
Zum WerkDer 'Erfurter' erläutert knapp 50 wichtige arbeitsrechtliche Gesetze für den Rechtsalltag...
-
-
EbookSofort lieferbar
This Festschrift, dedicated to Reiner Hahnle on the occasion of his 60th birthday, contains paper...
-
EbookSofort lieferbar
This book constitutes the refereed proceedings of the 14th International Conference on Tests and ...
-
-
EbookSofort lieferbar
This book constitutes the refereed proceedings of the 15th International Conference on Integ...
-
BuchVorbestellbar
Zum WerkDer 'Erfurter' erläutert knapp 50 wichtige arbeitsrechtliche Gesetze...
-
TaschenbuchPrint on Demand
This book constitutes the refereed proceedings of the 14th International Conference on Tests a...
-
TaschenbuchPrint on Demand
This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains paper...
-
TaschenbuchPrint on Demand
This book constitutes the refereed proceedings of the 15th International Conference on Integrated...
- 1
- 2