SULJE VALIKKO
KIRJAUDU
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS - THIRD INTERNATIONAL SYMPOSIUM, ATVA 2005, TAIPEI, TAIWAN, OCTOBER 4-7, 2005 | ||
| Automated Technology for Verification and Analysis - Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 49,60 € Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Sivumäärä: 508 sivua Asu: Pehmeäkantinen kirja Painos: 2005 ed. Julkaisuvuosi: 2005, 19.09.2005 (lisätietoa) Kieli: Englanti Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Näytä kaikki tuotetiedotISBN: 9783540292098 Tuotesarja: Aihealue: |
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |