Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
|
|

avaa valikko

Lawrence Paulson | Booky.fi

Haullasi löytyi yhteensä 7 tuotetta
Haluatko tarkentaa hakukriteerejä?



Lawrence C. Paulson
Cambridge University Press
1990
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Logic and Computation: Interactive Proof with Cambridge LCF
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
64,70 €
Paulson, Lawrence N
Nova Science Publishers Inc
2008
Pehmeäkantinen kirja
Saatavuus: Hankintapalvelu Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen.
Hate Crimes - Legal Issues & Legislation
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
90,80 €
Paulson, Lawrence C.
Springer
1994
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 5-6 viikossa
Isabelle : A Generic Theorem Prover
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Paulson, Lawrence C.
Cambridge University Press
1987
Kovakantinen kirja
Saatavuus: Hankintapalvelu Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen.
Logic and Computation
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
139,40 €
Paulson, Lawrence; Salisbury, Luke
Booklocker.com
2014
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-2 viikossa
First-Class Times - Writing about New College's Charter Classes
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
24,60 €
Nipkow, Tobias; Paulson, Lawrence C.; Wenzel, Markus
Springer
2002
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 5-6 viikossa
Isabelle/HOL : A Proof Assistant for Higher-Order Logic
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
61,10 €
Kaufmann, Matt; Paulson, Lawrence C.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 5-6 viikossa
Interactive Theorem Proving - First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €