-
1
-
2
The logic of software a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday
Veröffentlicht 2022BTU01
FHA01
FHD01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UEI01
UER01
UPA01
URL des Erstveröffentlichers
Elektronisch E-Book -
3
Coping with the future rethinking assumptions for society, business and work
Veröffentlicht 2018Buch