Adapting Proofs-as-Programs
Autor Iman Poernomo et al.
19 noi 2010
Paperback
Preț: 998.48 lei 1248.10 lei
43-57 zile
-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ț: 320.24 lei 400.30 lei
43-57 zile
-20%