Rigorous Software Development: An Introduction to Program Verification
Autor José Bacelar Almeida et al.
7 ian 2011
Paperback
Preț: 241.59 lei 301.99 lei
6-8 săpt.
-20%
Cărți de Jorge Sousa Pinto
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers
Editat de Ana Bove et al.
14 iul 2009
Paperback
Preț: 334.53 lei 418.16 lei
6-8 săpt.
-20%