Abstraction and Assume-Guarantee Reasoning for Automated Software Verification
EAN/GTIN: 9781289248499
| Produktname | Preis | Zustand | Anbieter |
|---|---|---|---|
| Auf Amazon suchen! | ? | Neu | Amazon* |
Die mit * gekennzeichneten Links sind sogenannte Affiliate Links. Kommt über einen solchen Link ein Einkauf zustande, werde ich mit einer Provision beteiligt, um die Serverkosten ein bisschen zu decken. Für Dich entstehen dabei keine Mehrkosten. Wo, wann und wie Du ein Produkt kaufst, bleibt natürlich Dir überlassen.