Buy Used and New Software Design, Testing & Engineering Books

Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540262787

Format: Paperback (667 pages)
Publisher: Springer
Published: 27 Jun 2005

Save for later

Intelligent Virtual Agents: 7th International Working Conference, IVA 2007, Paris, France, September 17-19, 2007, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540749967

Format: Paperback (425 pages)
Publisher: Springer
Published: 06 Sep 2007

Save for later

Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities

by Axel Simon

ISBN 13: 9781848000162

Format: Hardcover (322 pages)
Publisher: Springer
Published: 18 Jul 2008

Save for later

Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)

by Javier Esparza,Keijo Heljanko

ISBN 13: 9783540774259

Format: Hardcover (184 pages)
Publisher: Springer
Published: 27 Mar 2008

Save for later

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

by Fred Kröger,Stephan Merz

ISBN 13: 9783540674016

Format: Hardcover (448 pages)
Publisher: Springer
Published: 27 Mar 2008

Save for later

Computer-Aided Design of User Interfaces V: Proceedings of the Sixth International Conference on Computer-Aided Design of User Interfaces CADUI '06 (6-8 June 2006, Bucharest, Romania): v. 5

by

ISBN 13: 9781402058196

Format: Hardcover (298 pages)
Publisher: Springer
Published: 22 Oct 2007

Save for later

Ambient Intelligence: European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings (Lecture Notes in Computer Science / ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540896166

Format: Paperback (361 pages)
Publisher: Springer
Published: 13 Nov 2008

Save for later

On the Move to Meaningful Internet Systems: OTM 2008: OTM Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540888727

Format: Paperback (645 pages)
Publisher: Springer
Published: 23 Oct 2008

Save for later

High Assurance Services Computing

by

ISBN 13: 9780387876573

Format: Hardcover (326 pages)
Publisher: Springer
Published: 12 Jun 2009

Save for later

C A Software Engineering Approach

by Peter A. Darnell,Philip E. Margolis

ISBN 13: 9780387946757

Format: Illustrated (526 pages)
Publisher: Springer
Published: 04 Oct 2013

Save for later

Understanding Agent Systems (Springer Series on Agent Technology)

by Mark d'Inverno,Michael Luck

ISBN 13: 9783540407003

Format: Hardcover (240 pages)
Publisher: Springer
Published: 09 Oct 2003

Save for later

Scalable Information Systems: 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers (Lecture Notes ... and Telecommunications Engineering)

by

ISBN 13: 9783642104848

Format: Paperback (323 pages)
Publisher: Springer
Published: 25 Nov 2009

Save for later