Iman Poernomo – författare
Visar alla böcker från författaren Iman Poernomo. Handla med fri frakt och snabb leverans.
5 produkter
Adapting Proofs-as-Programs
The Curry--Howard Protocol
Av Iman Poernomo, John N. Crossley m. fl.
Inbunden, 2005
1641 kr
Lägg i varukorg
This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was ?rst conceived. At that time, there was a belief that proofs-as-programs …
Adapting Proofs-as-Programs
The Curry--Howard Protocol
Av Martin Wirsing, John N. Crossley m. fl.
E-bok, 2007
2111 kr
Lägg i varukorg
This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was ?rst conceived. At that time, there was a belief that proofs-as-programs …
Adapting Proofs-as-Programs
The Curry--Howard Protocol
Av Iman Poernomo, John N. Crossley m. fl.
Häftad, 2010
1641 kr
Lägg i varukorg
This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was ?rst conceived. At that time, there was a belief that proofs-as-programs …
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
568 kr
Lägg i varukorg
The 2009 Symposium on Component-Based Software Engineering (CBSE 2009) was the 12thin a series ofsuccessful eventsthat havegrowninto the main forum for industrial and academic experts to discuss component technology. Component-based software engineering (CBSE) has emerged as the under- ing …
Component-Based Software Engineering
12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Av Christine Hofmeister, Iman Poernomo m. fl.
E-bok, 2009
734 kr
Lägg i varukorg
The 2009 Symposium on Component-Based Software Engineering (CBSE 2009) was the 12thin a series ofsuccessful eventsthat havegrowninto the main forum for industrial and academic experts to discuss component technology. Component-based software engineering (CBSE) has emerged as the under- ing …
