Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, ... / Programming and Software Engineering)
by
ISBN 13: 9783642017018
Format: Paperback (215 pages) Publisher: Springer Published: 22 Apr 2009
Save for later
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
Software Composition: 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings: 5634 (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642026546
Format: Paperback (177 pages) Publisher: Springer Published: 22 Jun 2009
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642032363
Format: Paperback (361 pages) Publisher: Springer Published: 20 Jul 2009
Learning in the Synergy of Multiple Disciplines: 4th European Conference on Technology Enhanced Learning, EC-TEL 2009 Nice, France, September ... / Programming and Software Engineering)
ISBN 13: 9783642046353
Format: Paperback (813 pages) Publisher: Springer Published: 15 Sep 2009
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642046933
Format: Paperback (203 pages) Publisher: Springer Published: 23 Sep 2009
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture ... / Programming and Software Engineering)
ISBN 13: 9783642047602
Format: Paperback (414 pages) Publisher: Springer Published: 29 Sep 2009
Fundamentals of Software Engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers ... / Programming and Software Engineering)
ISBN 13: 9783642116223
Format: Paperback (471 pages) Publisher: Springer Published: 27 Jan 2010
Theory and Practice of Model Transformations: Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings: Second ... / Programming and Software Engineering)
ISBN 13: 9783642024078
Format: Paperback (285 pages) Publisher: Springer Published: 15 Jun 2009
Theory and Practice of Model Transformations: First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008, Proceedings: First ... 5063 (Lecture Notes in Computer Science)
by Antonio Vallecillo
ISBN 13: 9783540699262
Format: Paperback (280 pages) Publisher: Springer Published: 24 Jul 2008
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems (NASA Monographs in Systems and Software Engineering)
by Walt Truszkowski,Harold Hallock,Christopher Rouff,Jay Karlin,James Rash,Michael Hinchey,Roy Sterritt
ISBN 13: 9781846282324
Format: Hardcover (308 pages) Publisher: Springer Published: 09 Dec 2009
Software Process Improvement With CMM (Software Engineering S.)
by Joseph Raynus
ISBN 13: 9780890066447
Format: Hardcover (228 pages) Publisher: Artech House Published: 30 Nov 1998