SULJE VALIKKO
KIRJAUDU
COMPUTER AIDED VERIFICATION : 3RD INTERNATIONAL WORKSHOP, CAV '91, AALBORG, DENMARK, JULY 1-4, 1991. PROCEEDINGS | |||
| Computer Aided Verification : 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings 49,60 € Springer Sivumäärä: 493 sivua Asu: Pehmeäkantinen kirja Painos: 1992 Julkaisuvuosi: 1992, 22.04.1992 (lisätietoa) Kieli: Englanti Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä
Myymäläsaatavuus
Näytä kaikki tuotetiedotISBN: 9783540551799 Tuotesarja: Aihealue: |
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |