Buy Used and New Software Engineering Books

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

Fundamentals of Software Engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers ... / Programming and Software Engineering)

by

ISBN 13: 9783642116223

Format: Paperback (471 pages)
Publisher: Springer
Published: 27 Jan 2010

Save for later

Service-Oriented Computing: 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009, Proceedings: 5900 (Lecture Notes in Computer Science)

by Luciano Baresi

ISBN 13: 9783642103827

Format: Illustrated (676 pages)
Publisher: Springer
Published: 17 Nov 2009

Save for later