NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

Gesponsert
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 06-11-2026 06:18:48

Allgemein

ISBN
9783642203978
MPN
biography

Eigenschaften

Menü