Refinement Techniques in Software Engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
Ana Cavalcanti
Download - Immediately Available
Format: eBook (PDF)
Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
Kamel Barkaoui
Item not Available
Format: Book (Paperback / softback)
£67.99
£56.35
Item not Available
Book (Paperback / softback)
Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
Kamel Barkaoui
Download - Immediately Available
Format: eBook (PDF)
FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Ana Cavalcanti
Item not Available
Format: Book (Paperback / softback)
£126.00
£109.15
Item not Available
Book (Paperback / softback)
FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Ana Cavalcanti
Download - Immediately Available
Format: eBook (PDF)
Formal Methods and Software Engineering : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
Karin Breitman
Download - Immediately Available
Format: eBook (PDF)
Testing Techniques in Software Engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
Paulo Borba
Download - Immediately Available
Format: eBook (PDF)
Theoretical Aspects of Computing : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
Ana Cavalcanti
Download - Immediately Available
Format: eBook (PDF)
Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verificat
Laure Petrucci
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Software Engineering for Robotics
Ana Cavalcanti
Download - Immediately Available
Format: eBook (PDF)
