Preis von
32.50 EUR
32.50 EUR
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
(9783866446236) | Deductive verification of object-oriented
Geschäfte, in denen Sie dieses Produkt kaufen können
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
GesponsertDeductive verification of object-oriented software : dynamic frames dynamic logic and predicate abstraction
Günstigstes Angebot
| Dieses Produkt im Comparor | |
|---|---|
|
Kategorie
Dieses Produkt ist in unserem Shop in diesen Kategorien in unserem Shop katalogisiert
|
- Ingenieurbücher - Informatik - Programmiersprachen - Landwirtschaft |
|
International
Finden Sie dieses Produkt in einem unserer internationalen Geschäfte
|
Dieses Produkt wurde in anderen Ländern nicht gefunden
|
| Farben
Vorherrschende Farben des Produkts |
|
| Tags | Deductive verification of object-oriented |
| Bezeichner | |
| Marke | Benjamin Weiss |
| ISBN | Benjamin Weiss 3866446233 |
| ID | 11870747 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Lade unsere Android-App herunter und spare!
Related zusammenhängen
Springer (9783642377464)
Alpha Editions (9789354007415) | And Art of
Lang, Peter GmbH (9783631484425 / 25209253) | And Inductive Dependence
Last Message ist ein deduktives Krimi-Kartenspiel, bei dem die Spieler Hinweise sammeln müssen, um den Täter zu ermitteln und das Rätsel zu lösen. Es ist ein Spiel von iello und enthält insgesamt 172 Karten.
(9780267942251)
(9783337248338) | Science of, The Knowledge of God