Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Find andre tilgængelige muligheder:
Back Market DE 
AsGoodAsNew DE 
Beauty Welt (DE) 
babymarkt.de 
DeubaXXL DE | Bezeichner | |
|---|---|
| ISBN | 3832253807 |
| MPN | 55 illustrations |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
