|
|

avaa valikko

Ruben Gamboa | Akateeminen Kirjakauppa

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



Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vien
Klein, Gerwin; Gamboa, Ruben
Springer International Publishing AG
2014
Pehmeäkantinen kirja
Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vien
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Essential Logic for Computer Science
Page, Rex; Gamboa, Ruben
MIT Press Ltd
2019
Kovakantinen kirja
Essential Logic for Computer Science
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
52,30 €