Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
by
ISBN 13: 9783642046933
Format: Paperback (203 pages) Publisher: Springer Published: 23 Sep 2009
Save for later
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
Advanced Manufacturing Technology for Medical Applications: Reverse Engineering, Software Conversion, and Rapid Prototyping (Engineering Research Series (REP))
ISBN 13: 9780470016886
Format: Hardcover (254 pages) Publisher: Wiley-Blackwell Published: 04 Nov 2005
Model Driven Engineering Languages and Systems: 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, ... / Programming and Software Engineering)
ISBN 13: 9783540752080
Format: Paperback (698 pages) Publisher: Springer Published: 13 Sep 2007
Human Machine Interaction: Research Results of the MMI Program: Research Results of the MMJ Program (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642004360
Format: Paperback (311 pages) Publisher: Springer Published: 26 Mar 2009
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642017476
Format: Paperback (245 pages) Publisher: Springer Published: 12 May 2009
Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference ... / Programming and Software Engineering)
ISBN 13: 9783642021374
Format: Paperback (249 pages) Publisher: Springer Published: 25 May 2009
Software Engineering for Self-Adaptive Systems (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642021602
Format: Paperback (261 pages) Publisher: Springer Published: 19 Jun 2009
The Road Map to Software Engineering: A Standards-Based Guide (Software Engineering Standards Series)
by James W. Moore
ISBN 13: 9780471683629
Format: Paperback (440 pages) Publisher: Wiley-Blackwell Published: 20 Jan 2006
Software Quality Engineering: Testing, Quality Assurance, and Quantifiable Improvement
by Jeff Tian
ISBN 13: 9780471713456
Format: Hardcover (440 pages) Publisher: Wiley-Blackwell Published: 24 Mar 2005