Buy Used and New Software Engineering Books

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

Advances in Software Engineering: International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future ... in Computer and Information Science)

by Dominik Slezak, Tai-Hoon Kim, Akingbehin Kiumi, Tao Jiang, June Verner, Silvia Abrahao

ISBN 13: 9783642106187

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

Save for later

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer ... Germany, February 16-19, 2009, Proceedings

by Michael Leuschel, Heike Wehrheim

ISBN 13: 9783642002540

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

Save for later

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... 4486 (Lecture Notes in Computer Science)

by Marco Bernardo

ISBN 13: 9783540724827

Format: Illustrated (484 pages)
Publisher: Springer
Published: 28 Jun 2007

Save for later

Managing the Software Enterprise: Software Engineering and Information Systems in Context

by Pat Hall,Juan Fernandez-Ramil

ISBN 13: 9781844803545

Format: Paperback (456 pages)
Publisher: Cengage Learning EMEA
Published: 30 Jan 2007

Save for later

Architecting Dependable Systems VI (Lecture Notes in Computer Science / Programming and Software Engineering)

by Rogerio de Lemos,Jean-Charles Fabre,Cristina Gacek,Fabio Gadducci,Maurice H. ter Beek

ISBN 13: 9783642102479

Format: Paperback (348 pages)
Publisher: Springer
Published: 02 Nov 2009

Save for later

FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science)

by Ana Cavalcanti,Dennis Dams

ISBN 13: 9783642050886

Format: Paperback (840 pages)
Publisher: Springer
Published: 26 Oct 2009

Save for later

Task Models and Diagrams for User Interface Design: 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised ... 5963 (Lecture Notes in Computer Science)

by Peter Wild, Jean Vanderdonckt, David England, Philippe Palanque

ISBN 13: 9783642117961

Format: Paperback (163 pages)
Publisher: Springer
Published: 18 Feb 2010

Save for later

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science)

by Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan

ISBN 13: 9783540883869

Format: Paperback (430 pages)
Publisher: Springer
Published: 06 Oct 2008

Save for later