Buy Used and New Software Design, Testing & Engineering Books

Compiler Construction: 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings (Lecture Notes in Computer Science)

by

ISBN 13: 9783540578772

Format: Paperback (451 pages)
Publisher: Springer
Published: 23 Mar 1994

Save for later

Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540331063

Format: Paperback (245 pages)
Publisher: Springer
Published: 23 Mar 2006

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

Visual Database Systems 4 (VDB4): I.F.I.P. 2.6 Working Conference Proceedings: 4th (IFIP Advances in Information and Communication Technology)

by

ISBN 13: 9780412844003

Format: Hardcover (384 pages)
Publisher: Springer
Published: 31 May 1998

Save for later

Intelligent Systems and Soft Computing: Prospects, Tools and Applications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540678373

Format: Paperback (357 pages)
Publisher: Springer
Published: 26 Jul 2000

Save for later

Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European ... Computer Science and General Issues)

by

ISBN 13: 9783642007675

Format: Paperback (456 pages)
Publisher: Springer
Published: 09 Mar 2009

Save for later

Abstract State Machines 2003. Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings: v. 2589 (Lecture Notes in Computer Science)

by

ISBN 13: 9783540006244

Format: Paperback (427 pages)
Publisher: Springer
Published: 21 Feb 2003

Save for later

Synchronous Equivalence: Formal Methods for Embedded Systems

by Harry Hsieh,Felice Balarin,Alberto L. Sangiovanni-Vincentelli

ISBN 13: 9780792372622

Format: Hardcover (136 pages)
Publisher: Springer
Published: 31 Dec 2000

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

Engineering for HCI (IFIP Advances in Information and Communication Technology)

by Claus Unger,Leonard J. Bass

ISBN 13: 9780412721809

Format: Hardcover (384 pages)
Publisher: Springer
Published: 31 Jan 1996

Save for later

Practical Model-Based Testing: A Tools Approach

by Mark Utting,Bruno Legeard

ISBN 13: 9780123725011

Format: Hardcover (456 pages)
Publisher: Morgan Kaufmann
Published: 14 Mar 2007

Save for later

Location-Based Services (The Morgan Kaufmann Series in Data Management Systems)

by

ISBN 13: 9781558609297

Format: Hardcover (255 pages)
Publisher: Morgan Kaufmann
Published: 21 May 2004

Save for later