Raamatud Iman Poernomo
Adapting Proofs-as-Programs: The Curry--Howard Protocol
John N. Crossley, Iman Poernomo, Martin Wirsing
-30% koodiga BOOKS
Meie tarnija laos
Adapting Proofs-As-Programs: The Curry--Howard Protocol
Iman Poernomo, Martin Wirsing, John N Crossley
-30% koodiga BOOKS
Meie tarnija laos
Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Grace A. Lewis, Iman Poernomo, Christine Hofmeister
-30% koodiga BOOKS
Meie tarnija laos