Iman Poernomo – författare

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

3 produkter

Kategorier

3 produkter

Iman Poernomo, John N. Crossley, Martin Wirsing - Adapting Proofs-as-Programs, Inbunden

Adapting Proofs-as-Programs

The Curry--Howard Protocol

AvIman Poernomo,John N. Crossleym. fl.

Inbunden, Engelska, 2005

2 099 kr

Skickas inom 10-15 vardagar

Iman Poernomo, John N. Crossley, Martin Wirsing - Adapting Proofs-as-Programs, Häftad

Adapting Proofs-as-Programs

The Curry--Howard Protocol

AvIman Poernomo,John N. Crossleym. fl.

Häftad, Engelska, 2010

2 099 kr

Skickas inom 10-15 vardagar

Grace A. Lewis, Iman Poernomo, Christine Hofmeister - Component-Based Software Engineering, Häftad

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

729 kr

Skickas inom 10-15 vardagar