Adapting Proofs-as-Programs
Autor Iman Poernomo et al.
29 iul 2005
Hardback
Preț: 1003.36 lei 1254.20 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ț: 320.24 lei 400.30 lei
6-8 săpt.
-20%