Name: Interactive Theorem Proving - 4th International Conference, Itp 2013, Rennes, France, July 22-26, 2013, Proceedings
SKU: 9783642396359
Price: 117.90 EUR
Availability: OutOfStock

Interactive Theorem Proving - 4th International Conference, Itp 2013, Rennes, France, July 22-26, 2013, Proceedings

Sandrine Blazy, Christine Paulin-Mohring, David Pichardie

117,90 €

Springer
Sivumäärä: 512 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2013, 05.08.2013 (lisätietoa)
Kieli: Englanti

Tuotteella ei tuotekuvausta.

LISÄÄ OSTOSKORIIN

Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen.
Seuraa saatavuutta.

Myymäläsaatavuus

Helsinki

Tapiola

Turku

Tampere

Interactive Theorem Proving - 4th International Conference, Itp 2013, Rennes, France, July 22-26, 2013, Proceedings

Näytä kaikki tuotetiedot

ISBN:

9783642396359

Aihealue:

Ulkomaiset kirjat » Mathematics » Logic