Buy Used and New Software Design, Testing & Engineering Books

Systems and Software Verification: Model-Checking Techniques and Tools

by B. Berard,M. Bidoit,A. Finkel,F. Laroussinie,A. Petit,L. Petrucci,P. Schnoebelen

ISBN 13: 9783540415237

Format: Hardcover (196 pages)
Publisher: Springer
Published: 20 Jun 2001

Save for later

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

by Yves Bertot,Pierre Castéran

ISBN 13: 9783540208549

Format: Hardcover (500 pages)
Publisher: Springer
Published: 14 May 2004

Save for later

Guide to Advanced Empirical Software Engineering

by

ISBN 13: 9781848000438

Format: Hardcover (388 pages)
Publisher: Springer
Published: 25 Oct 2007

Save for later

Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings: 2386 (Lecture Notes in Computer Science)

by Eerke A. Boiten,Bernhard Möller

ISBN 13: 9783540438571

Format: Paperback (273 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Analog and VLSI Circuits (Circuits and Filters Handbook, 3rd Edition)

by Wai-Kai Chen

ISBN 13: 9781420058918

Format: Hardcover (702 pages)
Publisher: CRC Press
Published: 23 Jun 2009

Save for later

Design and Implementation of Data Mining Tools

by Bhavani Thuraisingham, Latifur Khan, Mamoun Awad, Lei Wang

ISBN 13: 9781420045901

Format: Hardcover (272 pages)
Publisher: Auerbach Publications
Published: 18 Jun 2009

Save for later

Fundamental Problems in Computing: Essays in Honor of Professor Daniel J. Rosenkrantz

by Sekharipuram S. Ravi, Sandeep K. Shukla

ISBN 13: 9781402096877

Format: Hardcover (518 pages)
Publisher: Springer
Published: 15 Apr 2009

Save for later

Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach (Advances in Industrial Control)

by ZhiWu Li, MengChu Zhou

ISBN 13: 9781848822436

Format: Hardcover (239 pages)
Publisher: Springer
Published: 04 Mar 2009

Save for later

New Trends on Human-Computer Interaction: Research, Development, New Tools and Methods

by Macías

ISBN 13: 9781848823518

Format: Illustrated (176 pages)
Publisher: Springer
Published: 10 Mar 2009

Save for later

Collaborative Software Engineering

by N/A

ISBN 13: 9783642102936

Format: Hardcover (470 pages)
Publisher: Springer
Published: 11 Mar 2010

Save for later

Euro-Par 2006 Workshops: Parallel Processing: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, ... 4375 (Lecture Notes in Computer Science)

by Wolfgang Lehner

ISBN 13: 9783540722267

Format: Paperback (356 pages)
Publisher: Springer
Published: 11 Jul 2007

Save for later

UbiComp 2007: Ubiquitous Computing: 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007, Proceedings: 4717 (Lecture Notes in Computer Science)

by John Krumm

ISBN 13: 9783540748526

Format: Illustrated (548 pages)
Publisher: Springer
Published: 09 Nov 2007

Save for later