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 | |
Related zusammenhängen
Springer (9783319498119) | Deductive Software Verification, The KeY Book
Springer-Verlag GmbH (9783319470146 / 26727801) | Formal Verification of Simulink/Stateflow
