Iman Poernomo – författare
Visar alla böcker från författaren Iman Poernomo.
3 produkter
Adapting Proofs-as-Programs
The Curry--Howard Protocol
Av Iman Poernomo, John N. Crossley m. fl.
Inbunden, 2005
2109 kr
Lägg i varukorg
Adapting Proofs-as-Programs
The Curry--Howard Protocol
Av Iman Poernomo, John N. Crossley m. fl.
Häftad, 2010
2109 kr
Lägg i varukorg
Component-Based Software Engineering
12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Av Grace A. Lewis, Iman Poernomo m. fl.
Häftad, 2009
729 kr
Lägg i varukorg