Buy Used and New Software Design, Testing & Engineering Books

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

Real-Time Object Uniform Design Methodology with UML

by Bui Minh Duc

ISBN 13: 9781402059766

Format: Hardcover (482 pages)
Publisher: Springer
Published: 27 Jun 2007

Save for later

Spoken Dialogue Technology: Towards the Conversational User Interface

by Michael F. McTear

ISBN 13: 9781852336721

Format: Paperback (374 pages)
Publisher: Springer
Published: 09 Sep 2004

Save for later

The Testing Network: An Integral Approach to Test Activities in Large Software Projects

by Jean-Jacques Pierre Henry

ISBN 13: 9783540785033

Format: Hardcover (438 pages)
Publisher: Springer
Published: 08 Sep 2008

Save for later

Art and Technology of Entertainment Computing and Communication: Advances in Interactive New Media for Entertainment Computing

by Adrian David Cheok

ISBN 13: 9781849961363

Format: Hardcover (303 pages)
Publisher: Springer
Published: 12 Aug 2010

Save for later

Business Process Technology: A Unified View on Business Processes, Workflows and Enterprise Applications

by Dirk Draheim

ISBN 13: 9783642015878

Format: Hardcover (306 pages)
Publisher: Springer
Published: 21 Aug 2010

Save for later

Constructing Correct Software (Formal Approaches to Computing & Information Technology)

by D. John Cooke

ISBN 13: 9781852338206

Format: Paperback (509 pages)
Publisher: Springer
Published: 08 Nov 2004

Save for later

Current and New Directions in Discourse and Dialogue (Text, Speech and Language Technology)

by

ISBN 13: 9781402016158

Format: Paperback (400 pages)
Publisher: Springer
Published: 30 Nov 2003

Save for later

Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops: ISPA 2007 International Workshops, SSDSN, UPWN, WISH, SGC, ParDMCom, ... Computer Science and General Issues)

by

ISBN 13: 9783540747666

Format: Paperback (536 pages)
Publisher: Springer
Published: 14 Aug 2007

Save for later

A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series)

by R. Kurki-Suonio

ISBN 13: 9783540233428

Format: Hardcover (418 pages)
Publisher: Springer
Published: 17 Feb 2005

Save for later