Iman Poernomo – författare

Visar alla böcker från författaren Iman Poernomo.

3 produkter

Kategorier

3 produkter

Adapting Proofs-as-Programs

The Curry--Howard Protocol

AvIman Poernomo,John N. Crossleym. fl.

Inbunden, Engelska, 2005

2 109 kr

Skickas inom 10-15 vardagar

Adapting Proofs-as-Programs

The Curry--Howard Protocol

AvIman Poernomo,John N. Crossleym. fl.

Häftad, Engelska, 2010

2 089 kr

Skickas inom 10-15 vardagar

Component-Based Software Engineering

12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

AvGrace A. Lewis,Iman Poernomom. fl.

Häftad, Engelska, 2009

719 kr

Skickas inom 10-15 vardagar