Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Domenico Bianculli
Item not Available
Format: Book (Paperback / softback)
£49.99
£40.99
Item not Available
Book (Paperback / softback)
Agent-Oriented Software Engineering V : 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers
James Odell
Item not Available
Format: Book (Paperback / softback)
£62.99
£52.35
Item not Available
Book (Paperback / softback)
Practical Aspects of Declarative Languages : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
Manuel Hermenegildo
Item not Available
Format: Book (Paperback / softback)
£62.99
£52.35
Item not Available
Book (Paperback / softback)
Multiparadigm Programming in Mozart/Oz : Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers
Peter Van Roy
Item not Available
Format: Book (Paperback / softback)
£67.99
£56.35
Item not Available
Book (Paperback / softback)
Formal Approaches to Software Testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
Jens Grabowski
Item not Available
Format: Book (Paperback / softback)
£59.99
£49.99
Item not Available
Book (Paperback / softback)
Rapid Integration of Software Engineering Techniques : First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers
Nicolas Guelfi
Item not Available
Format: Book (Paperback / softback)
£62.99
£52.35
Item not Available
Book (Paperback / softback)
Component-Based Software Engineering : 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
George Heineman
Item not Available
Format: Book (Paperback / softback)
£72.00
£59.55
Item not Available
Book (Paperback / softback)
Engineering Human Computer Interaction and Interactive Systems : Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers
Remi Bastide
Item not Available
Format: Book (Paperback / softback)
£85.50
£70.25
Item not Available
Book (Paperback / softback)
Scenarios: Models, Transformations and Tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
Stefan Leue
Item not Available
Format: Book (Paperback / softback)
£62.99
£52.35
Item not Available
Book (Paperback / softback)
Extreme Programming and Agile Processes in Software Engineering : 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings
Hubert Baumeister
Item not Available
Format: Book (Paperback / softback)
£72.00
£59.55
Item not Available
Book (Paperback / softback)
ECOOP 2005 - Object-Oriented Programming : 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
Andrew Black
Item not Available
Format: Book (Paperback / softback)
£94.50
£77.35
Item not Available
Book (Paperback / softback)
Quality of Software Architectures and Software Quality : First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA
Ralf H. Reussner
Item not Available
Format: Book (Paperback / softback)
£62.99
£52.35
Item not Available
Book (Paperback / softback)
Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
Frank S. de Boer
Item not Available
Format: Book (Paperback / softback)
£62.99
£52.35
Item not Available
Book (Paperback / softback)
Formal Techniques for Networked and Distributed Systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
Farn Wang
Item not Available
Format: Book (Paperback / softback)
£94.50
£77.35
Item not Available
Book (Paperback / softback)
Computer Safety, Reliability, and Security : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
Rune Winther
Item not Available
Format: Book (Paperback / softback)
£78.50
£64.69
Item not Available
Book (Paperback / softback)
Logic Programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
Maurizio Gabbrielli
Item not Available
Format: Book (Paperback / softback)
£79.99
£65.85
Item not Available
Book (Paperback / softback)
Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
Doron A. Peled
Item not Available
Format: Book (Paperback / softback)
£90.00
£73.79
Item not Available
Book (Paperback / softback)
Programming Languages and Systems : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
Kwangkeun Yi
Item not Available
Format: Book (Paperback / softback)
£78.50
£64.69
Item not Available
Book (Paperback / softback)
Model Driven Architecture - Foundations and Applications : First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings
Alan Hartman
Item not Available
Format: Book (Paperback / softback)
£62.99
£52.35
Item not Available
Book (Paperback / softback)
Software Process Improvement : 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings
Ita Richardson
Item not Available
Format: Book (Paperback / softback)
£58.99
£49.19
Item not Available
Book (Paperback / softback)
Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
Judi M.T. Romijn
Item not Available
Format: Book (Paperback / softback)
£78.50
£64.69
Item not Available
Book (Paperback / softback)
Service-Oriented Computing - ICSOC 2005 : Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings
Boualem Benatallah
Item not Available
Format: Book (Paperback / softback)
£89.99
£73.75
Item not Available
Book (Paperback / softback)
Formal Modeling and Analysis of Timed Systems : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
Paul Pettersson
Item not Available
Format: Book (Paperback / softback)
£62.99
£52.35
Item not Available
Book (Paperback / softback)
Practical Aspects of Declarative Languages : 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings
Pascal Van Hentenryck
Item not Available
Format: Book (Paperback / softback)
£54.99
£46.05
Item not Available
Book (Paperback / softback)