Software Verification and Validation: An Engineering and Scientific Approach
by Marcus S. Fisher
ISBN 13: 9780387327259
Format: Hardcover (172 pages) Publisher: Springer Published: 20 Dec 2006
Save for later
Mobile Response: First International Workshop on Mobile Information Technology, for Emergency Response, Mobile Response 2007, Sankt Augustin, Germany, ... Networks and Telecommunications)
by
ISBN 13: 9783540756675
Format: Paperback (163 pages) Publisher: Springer Published: 22 Nov 2007
Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering
by Frank J. van der Linden,Klaus Schmid,Eelco Rommes
ISBN 13: 9783540714361
Format: Hardcover (333 pages) Publisher: Springer Published: 08 Jun 2007
Extreme Programming Explained: Embrace Change
by Beck, Kent Kent Beck,
ISBN 13: 9780321278654
Format: paperback Publisher: Addison-Wesley Professional Other Format: Paperback
UML Distilled: A Brief Guide to the Standard Object Modeling Language (Addison-Wesley Object Technology Series)
by Martin Fowler
ISBN 13: 9780321193681
Format: Paperback (208 pages) Publisher: Addison-Wesley Professional Published: 15 Sep 2003 Other Format: Paperback
Rescue Robotics: DDT Project on Robots and Systems for Urban Search and Rescue
ISBN 13: 9781848824737
Format: Hardcover (192 pages) Publisher: Springer Published: 05 Mar 2010
Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
ISBN 13: 9783540733690
Format: Paperback (285 pages) Publisher: Springer Published: 21 Jun 2007
Software Engineering: International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540958871
Format: Paperback (257 pages) Publisher: Springer Published: 02 Feb 2009
Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783642009440
Format: Paperback (217 pages) Publisher: Springer Published: 26 Mar 2009
Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642013638
Format: Paperback (241 pages) Publisher: Springer Published: 19 May 2009
Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, ... / Programming and Software Engineering)
ISBN 13: 9783642017018
Format: Paperback (215 pages) Publisher: Springer Published: 22 Apr 2009
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, ... / Programming and Software Engineering)
ISBN 13: 9783642019173
Format: Paperback (341 pages) Publisher: Springer Published: 12 May 2009