Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... / Programming and Software Engineering)
by
ISBN 13: 9783642195822
Format: Paperback (207 pages) Publisher: Springer Published: 17 Mar 2011
Save for later
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Lecture Notes ... / Programming and Software Engineering)
ISBN 13: 9783642244308
Format: Paperback (261 pages) Publisher: Springer Published: 19 Sep 2011
Model Driven Architecture - Foundations and Applications: Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings ... / Programming and Software Engineering)
ISBN 13: 9783540729006
Format: Paperback (219 pages) Publisher: Springer Published: 31 May 2007
Agent-Oriented Software Engineering VI: 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers: v. ... / Programming and Software Engineering)
ISBN 13: 9783540340973
Format: Paperback (265 pages) Publisher: Springer Published: 15 May 2006
Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ... / Programming and Software Engineering)
ISBN 13: 9783540779643
Format: Paperback (267 pages) Publisher: Springer Published: 01 Feb 2008
Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 ... / Programming and Software Engineering)
ISBN 13: 9783540688549
Format: Paperback (341 pages) Publisher: Springer Published: 27 May 2008
End-User Development: 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642004254
Format: Paperback (285 pages) Publisher: Springer Published: 27 Feb 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
Cost Estimation in Software Product Line Engineering
by Sebastian Rosensteiner
ISBN 13: 9783836673044
Format: Paperback (62 pages) Publisher: Diplomica Verlag Published: 14 Aug 2009
Generative and Transformational Techniques in Software Engineering III: International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, ... / Programming and Software Engineering)
ISBN 13: 9783642180224
Format: Paperback (499 pages) Publisher: Springer Published: 03 Jan 2011
Software Engineering for Secure Systems: Industrial and Research Perspectives (Premier Reference Source)
by Mouratidis Haralambos
ISBN 13: 9781615208371
Format: Hardcover (350 pages) Publisher: IGI Global Published: 15 Oct 2010