Buy Used and New Software Engineering Books

Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642106712

Format: Paperback (359 pages)
Publisher: Springer
Published: 24 Nov 2009

Save for later

Rule Interchange and Applications: International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings (Lecture Notes in ... / Programming and Software Engineering)

by

ISBN 13: 9783642049842

Format: Paperback (353 pages)
Publisher: Springer
Published: 15 Oct 2009

Save for later

Interactive Theorem Proving in Software Engineering

by Florian Kammuller

ISBN 13: 9783836457699

Format: Paperback (120 pages)
Publisher: VDM Verlag Dr. Mueller e.K.
Published: 22 Jul 2008

Save for later

Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings: 8th ... / Programming and Software Engineering)

by

ISBN 13: 9783540290100

Format: Paperback (722 pages)
Publisher: Springer
Published: 19 Sep 2005

Save for later

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642013638

Format: Paperback (241 pages)
Publisher: Springer
Published: 19 May 2009

Save for later

Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, ... / Programming and Software Engineering)

by

ISBN 13: 9783642017018

Format: Paperback (215 pages)
Publisher: Springer
Published: 22 Apr 2009

Save for later

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, ... / Programming and Software Engineering)

by

ISBN 13: 9783642019173

Format: Paperback (341 pages)
Publisher: Springer
Published: 12 May 2009

Save for later

Software Composition: 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings: 5634 (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642026546

Format: Paperback (177 pages)
Publisher: Springer
Published: 22 Jun 2009

Save for later

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642032363

Format: Paperback (361 pages)
Publisher: Springer
Published: 20 Jul 2009

Save for later

Learning in the Synergy of Multiple Disciplines: 4th European Conference on Technology Enhanced Learning, EC-TEL 2009 Nice, France, September ... / Programming and Software Engineering)

by

ISBN 13: 9783642046353

Format: Paperback (813 pages)
Publisher: Springer
Published: 15 Sep 2009

Save for later

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642046933

Format: Paperback (203 pages)
Publisher: Springer
Published: 23 Sep 2009

Save for later

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture ... / Programming and Software Engineering)

by

ISBN 13: 9783642047602

Format: Paperback (414 pages)
Publisher: Springer
Published: 29 Sep 2009

Save for later