Raamatud Ana Cavalcanti
Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
-40% koodiga BOOKS
Meie tarnija laos
FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
-40% koodiga BOOKS
Meie tarnija laos
Theoretical Aspects of Computing 7th International Colloquium, Natal, Rio Grande Do Norte, Brazil, September 1-3, 2010, Proceedings
Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock
-40% koodiga BOOKS
Meie tarnija laos
Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook
-40% koodiga BOOKS
Meie tarnija laos