Title: FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings / Edition 1, Author: James C.P. Woodcock
Title: TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings / Edition 1, Author: Peter D. Mosses
Title: Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers / Edition 1, Author: Francesco Parisi-Presicce
Title: Tried and True Object Development: Industry-Proven Approaches with UML, Author: Ari Jaaksi
Title: Extreme Programming Explained: Embrace Change / Edition 2, Author: Kent Beck
Title: Agile Software Development: The Cooperative Game / Edition 2, Author: Alistair Cockburn
Title: Excel 2007 VBA Programming with XML and ASP, Author: Julitta Korol