Buy Used and New Software Design, Testing & Engineering Books

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