Adapting Proofs-as-Programs: The Curry--Howard Protocol
Autor Iman Poernomo et al.
21 iun 2005
Hardback
Preț: 1000.38 lei 1250.47 lei
6-8 săpt.
-20%
Cărți de Iman Poernomo
Component-Based Software Engineering: 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Editat de Grace A. Lewis et al.
9 iun 2009
Paperback
Preț: 332.89 lei 416.12 lei
6-8 săpt.
-20%