Buy Used and New Software Design, Testing & Engineering Books

Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783540733690

Format: Paperback (285 pages)
Publisher: Springer
Published: 21 Jun 2007

Save for later

Software Engineering: International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540958871

Format: Paperback (257 pages)
Publisher: Springer
Published: 02 Feb 2009

Save for later

Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642009440

Format: Paperback (217 pages)
Publisher: Springer
Published: 26 Mar 2009

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

Principles of the Spin Model Checker

by Mordechai Ben-Ari

ISBN 13: 9781846287695

Format: Paperback (216 pages)
Publisher: Springer
Published: 08 Jan 2008

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

Computer-Mediated Social Networking: First International Conference, ICCMSN 2008, Dunedin, New Zealand, June 11-13, 2009, Revised Selected Papers: ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642022753

Format: Paperback (201 pages)
Publisher: Springer
Published: 25 May 2009

Save for later

Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music: 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642025174

Format: Paperback (285 pages)
Publisher: Springer
Published: 01 Jul 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

Human Centered Design: First International Conference, HCD 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642028052

Format: Paperback (1112 pages)
Publisher: Springer
Published: 01 Jul 2009

Save for later

Algorithms and Architectures for Parallel Processing: 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009, Proceedings: 5574 ... Computer Science and General Issues)

by

ISBN 13: 9783642030949

Format: Paperback (879 pages)
Publisher: Springer
Published: 10 Jul 2009

Save for later