KIRJAUDU
Interactive Theorem Proving - 4th International Conference, Itp 2013, Rennes, France, July 22-26, 2013, Proceedings
116,00 €
Springer
Sivumäärä: 512 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2013, 05.08.2013 (lisätietoa)
Kieli: Englanti
Sivumäärä: 512 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2013, 05.08.2013 (lisätietoa)
Kieli: Englanti
Tuotteella ei tuotekuvausta.
Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen. Seuraa saatavuutta.
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9783642396359
Aihealue:
|
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |