Stel een vraag
Met het formulier hier onder kunt u contact op nemen met boekwinkel Boekstra.
Luo, Zhaohui (Lecturer/Research Fellow, Department of Computer Science, Lecturer/Research Fellow, Department of Computer Science, JCMB, Edinburgh) - Computation and Reasoning - A Type Theory for Computer Science
De vraag gaat over de volgende titel:
| Schrijver: | Luo, Zhaohui (Lecturer/Research Fellow, Department of Computer Science, Lecturer/Research Fellow, Department of Computer Science, JCMB, Edinburgh) |
|---|---|
| Titel: | Computation and Reasoning - A Type Theory for Computer Science |
| ISBN: | 9780198538356 |
| Uitgever: | Oxford University Press |
| Bijzonderheid: | 1994 240pp Gebonden |
| Prijs: |
€ 119,10
Gratis
|
| Meer info | Flaptekst Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, type theory is shown to offer a powerful and uniform language for programming, program specification and development, and logical reasoning. |
| Boek bekijken | |
Verzendkosten 1,75 euro per zending binnen Nederland, vanaf 19,90 euro GEEN verzendkosten binnen Nederland.
Verzendkosten België 3,95 euro per zending.
Bij bestellingen van 10 euro of minder zijn de verzendkosten hoger; zie vermelding bij het boek.
Speciale verzoeken? Meestal geen punt, vermeld ze in het veld opmerking.
De actuele levertijd kunt u vinden op onze website.
De verkoper zal binnen 1 werkdag contact met u opnemen om de koop verder af te handelen.