Buy Used and New Ana Cavalcanti Books

FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science)

by Ana Cavalcanti,Dennis Dams

ISBN 13: 9783642050886

Format: Paperback (840 pages)
Publisher: Springer
Published: 26 Oct 2009

Save for later

Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540488156

Format: Paperback (386 pages)
Publisher: Springer
Published: 30 Oct 2006

Save for later

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December ... / Programming and Software Engineering)

by

ISBN 13: 9783540462538

Format: Paperback (393 pages)
Publisher: Springer
Published: 27 Sep 2006

Save for later