Adapting Proofs-as-Programs: The Curry--Howard Protocol
Autor Iman Poernomo et al.
21 iun 2005
Hardback
Preț: 983.48 lei 1229.35 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ț: 327.33 lei 409.15 lei
6-8 săpt.
-20%