Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
SpringerLink DE
Gesponsert Automated Technology for Verification and Analysis
53.49 EUR
Preis aktualisiert am: 29-04-2026 10:24:47
53.49 EUR
Preis aktualisiert am: 29-04-2026 10:24:47 | Bezeichner | |
|---|---|
| ISBN | 9783642243714 |
| MPN | biography |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
