Buy Used and New Software Engineering Books

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642203978

Format: Paperback (536 pages)
Publisher: Springer
Published: 06 Apr 2011

Save for later

Software Engineering and Computer Systems, Part III: Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, ... in Computer and Information Science)

by

ISBN 13: 9783642222023

Format: Paperback (846 pages)
Publisher: Springer
Published: 22 Jun 2011

Save for later

Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)

by Christopher A. Rouff,Michael G. Hinchey,James Rash,Walter Truszkowski,Diana Gordon-Spears

ISBN 13: 9781852339470

Format: Hardcover (360 pages)
Publisher: Springer
Published: 26 Oct 2005

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

Computer Systems and Software Engineering: State-of-the-Art

by

ISBN 13: 9780792317180

Format: Hardcover (436 pages)
Publisher: Springer
Published: 30 Apr 1992

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

Categories for Software Engineering

by Jose Luiz Fiadeiro

ISBN 13: 9783540209096

Format: Hardcover (250 pages)
Publisher: Springer
Published: 18 Oct 2004

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

Risk Management Processes for Software Engineering Models (Computer Science Library)

by Marian Myerson

ISBN 13: 9780890066355

Format: Hardcover (226 pages)
Publisher: Artech House
Published: 31 Oct 1996

Save for later

Experience and Knowledge Management in Software Engineering

by Kurt Schneider

ISBN 13: 9783540958796

Format: Hardcover (235 pages)
Publisher: Springer
Published: 23 Jun 2009

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

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