|
|

avaa valikko

Iman Poernomo | Akateeminen Kirjakauppa

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



Poernomo, Iman; Crossley, John N.; Wirsing, Martin
Springer-Verlag New York Inc.
2005
Kovakantinen kirja
Adapting Proofs-as-Programs - The Curry--Howard Protocol
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
134,60 €
Poernomo, Iman; Crossley, John N.; Wirsing, Martin
Springer-Verlag New York Inc.
2010
Pehmeäkantinen kirja
Adapting Proofs-as-Programs - The Curry--Howard Protocol
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
134,60 €
Poernomo, Iman Hafiz; Crossley, John Newsome; Wirsing, Martin
SPRINGER VERLAG GMBH
2008
Pehmeäkantinen kirja
Adapting Proofs-As-Programs
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
63,60 €
Lewis, Grace A.; Poernomo, Iman; Hofmeister, Christine
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja
Component-Based Software Engineering - 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proce
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €