Preis von
26.74 EUR
26.74 EUR
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security
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 | Pasareanu, Corina S. |
| ID | 31540091 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Related zusammenhängen
(9783540539926 / biography)
Springer Berlin Heidelberg (9783642059964 / biography)
Springer Berlin Heidelberg (9783540424642 / biography) | Quantitative Approaches to
APRESS L.P. (9781484203446 / 14 black & white illustrations, biograph)
(9781489986276 / 5 black & white tables, biography)
(9781441954985) | Verification and Control of
