2 resultater (0,19934 sekunder)
1 / 1

Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings - Bog -

Fra DKK 818.95
Mærke Springer International Publishing AG
EAN / Stregkode 9783319024431
Butik Bogreolen.dk
Til Butik
Produkt
Butik
Prisniveau

Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Tales.dk
DKK 819.95
Til Butik