Models in Software Engineering: Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected ... / Programming and Software Engineering)
by
ISBN 13: 9783540690696
Format: Paperback (322 pages) Publisher: Springer Published: 01 Jul 2008
Save for later
Architecting Dependable Systems V: v. 5 (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540855705
Format: Paperback (343 pages) Publisher: Springer Published: 28 Aug 2008
Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, ... / Programming and Software Engineering)
ISBN 13: 9783540890195
Format: Paperback (607 pages) Publisher: Springer Published: 15 Oct 2008
Software Engineering Approaches for Offshore and Outsourced Development: Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, ... Notes in Business Information Processing)
ISBN 13: 9783642029868
Format: Paperback (137 pages) Publisher: Springer Published: 24 Jun 2009
Performance Evaluation and Benchmarking: Transaction Processing Performance Council Technology Conference, TPCTC 2009, Lyon, France, August 24-28, ... / Programming and Software Engineering)
ISBN 13: 9783642104237
Format: Paperback (267 pages) Publisher: Springer Published: 05 Nov 2009
Software Engineering 3: Domains, Requirements, and Software Design: v. 3 (Texts in Theoretical Computer Science. An EATCS Series)
by Dines Bjørner
ISBN 13: 9783540211518
Format: Hardcover (796 pages) Publisher: Springer Published: 09 Mar 2006 Other Format: Hardcover
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
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, ... / Programming and Software Engineering)
ISBN 13: 9783642192364
Format: Paperback (179 pages) Publisher: Springer Published: 10 Feb 2011
Product-Focused Software Process Improvement: 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings (Lecture ... / Programming and Software Engineering)
ISBN 13: 9783642218422
Format: Paperback (366 pages) Publisher: Springer Published: 15 Jun 2011