Buy Used and New Software Engineering Books

Software Verification and Validation: An Engineering and Scientific Approach

by Marcus S. Fisher

ISBN 13: 9780387327259

Format: Hardcover (172 pages)
Publisher: Springer
Published: 20 Dec 2006

Save for later

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

by Leslie Lamport

ISBN 13: 9780321143068

Format: Paperback (384 pages)
Publisher: Addison Wesley
Published: 19 Jul 2002

Save for later

Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering

by Frank J. van der Linden,Klaus Schmid,Eelco Rommes

ISBN 13: 9783540714361

Format: Hardcover (333 pages)
Publisher: Springer
Published: 08 Jun 2007

Save for later

Object-Oriented Technology. ECOOP 2007 Workshop Reader: ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports (Lecture Notes in ... / Programming and Software Engineering)

by

ISBN 13: 9783540781943

Format: Paperback (204 pages)
Publisher: Springer
Published: 26 Feb 2008

Save for later

Rationale Management in Software Engineering

by

ISBN 13: 9783540309970

Format: Hardcover (432 pages)
Publisher: Springer
Published: 05 Apr 2006

Save for later

Autonomic and Trusted Computing: 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540735465

Format: Paperback (571 pages)
Publisher: Springer
Published: 02 Jul 2007

Save for later

Architecting Dependable Systems IV: No. 4 (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540740339

Format: Paperback (435 pages)
Publisher: Springer
Published: 15 Aug 2007

Save for later

Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540746089

Format: Paperback (470 pages)
Publisher: Springer
Published: 28 Aug 2007

Save for later

Software Architectures, Components, and Applications: Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, ... / Programming and Software Engineering)

by

ISBN 13: 9783540776178

Format: Paperback (251 pages)
Publisher: Springer
Published: 23 Jan 2008

Save for later

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering)

by

ISBN 13: 9783540799795

Format: Paperback (432 pages)
Publisher: Springer
Published: 15 Jul 2008

Save for later

Fundamental Approaches to Software Engineering: 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and ... Computer Science and General Issues)

by

ISBN 13: 9783540330936

Format: Paperback (440 pages)
Publisher: Springer
Published: 16 Mar 2006

Save for later

Empirical Software Engineering Issues. Critical Assessment and Future Directions: International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006, ... / Programming and Software Engineering)

by

ISBN 13: 9783540713005

Format: Paperback (193 pages)
Publisher: Springer
Published: 30 Mar 2007

Save for later