Preis von
70.04 EUR
70.04 EUR
Verification of Data-Aware Processes via SMT
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
| Dieses Produkt im Comparor | |
|---|---|
|
Kategorie
Dieses Produkt ist in unserem Shop in diesen Kategorien in unserem Shop katalogisiert
|
|
|
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 |
|
| Bezeichner | |
| Marke | Alessandro Gianola |
| ID | 31703713 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Related zusammenhängen
Springer (9783319862231) | Formal System Verification, State-of the-Art
Springer (9783642093470) | The Calculus
Springer-Verlag GmbH (9783319205526 / biography) | Verifying Calculations, Forty Years
(9783319088662 / 205 black & white illustrations, biograp)
(9781461287018 / biography)
(9781441954985) | Verification and Control of
(9783642055553) | Verification of Reactive Systems
Springer Berlin Heidelberg (9783642340314 / 129 black & white illustrations, biograp) | Of Formal Methods
