Model Driven Engineering Languages and Systems: 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, ... / Programming and Software Engineering)
by
ISBN 13: 9783540752080
Format: Paperback (698 pages) Publisher: Springer Published: 13 Sep 2007
Save for later
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
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
Software Language Engineering: First International Conference, SLE 2008 Toulouse, France, September 29-30, 2008, Revised Selected Papers (Lecture ... / Programming and Software Engineering)
ISBN 13: 9783642004339
Format: Paperback (343 pages) Publisher: Springer Published: 02 Apr 2009
Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and ... Computer Science and General Issues)
ISBN 13: 9783642005923
Format: Paperback (488 pages) Publisher: Springer Published: 09 Mar 2009
Reliable Software Technologies - Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings (Lecture Notes ... / Programming and Software Engineering)
ISBN 13: 9783642019234
Format: Paperback (283 pages) Publisher: Springer Published: 25 May 2009
Experimental Algorithms: 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642131929
Format: Paperback (514 pages) Publisher: Springer Published: 07 May 2010
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
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by Leslie Lamport
ISBN 13: 9780321143068
Format: Paperback (384 pages) Publisher: Addison Wesley Published: 19 Jul 2002