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: 30-08-2026 07:59:49
53.49 EUR
Preis aktualisiert am: 30-08-2026 07:59:49 | Bezeichner | |
|---|---|
| ISBN | 9783642243714 |
| MPN | biography |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
