Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art ... / Programming and Software Engineering)
by
ISBN 13: 9783642041662
Format: Paperback (299 pages) Publisher: Springer Published: 07 Sep 2009
Save for later
Principles and Practice of Constraint Programming - CP 2009: 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 ... / Programming and Software Engineering)
ISBN 13: 9783642042430
Format: Paperback (844 pages) Publisher: Springer Published: 07 Sep 2009
Parallel Computational Fluid Dynamics 2008: Parallel Numerical Methods, Software Development and Applications (Lecture Notes in Computational Science and Engineering)
ISBN 13: 9783642144370
Format: Hardcover (432 pages) Publisher: Springer Published: 22 Sep 2010
ECOOP 2005 - Object-Oriented Programming: 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540279921
Format: Paperback (648 pages) Publisher: Springer Published: 18 Jul 2005
Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540482659
Format: Paperback (413 pages) Publisher: Springer Published: 27 Nov 2006
Formal Engineering for Industrial Software Development: Using the SOFL Method
by Shaoying Liu
ISBN 13: 9783540206026
Format: Hardcover (400 pages) Publisher: Springer Published: 13 Apr 2004
Extreme Programming and Agile Processes in Software Engineering: 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings ... / Programming and Software Engineering)
ISBN 13: 9783540262770
Format: Paperback (346 pages) Publisher: Springer Published: 13 Jun 2005
Software Engineering Techniques: Third IFIP TC 2 Central and East-European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, ... / Programming and Software Engineering)
ISBN 13: 9783642223853
Format: Paperback (302 pages) Publisher: Springer Published: 12 Jul 2011
Adaptive Control Approach For Software Quality Improvement (Series on Software Engineering & Knowledge Engineering)
by Wong W Eric Et Al
ISBN 13: 9789814340915
Format: Hardcover (308 pages) Publisher: World Scientific Publishing Company Published: 30 Aug 2011
Software Engineering and Computer Systems, Part II: Second International Conference ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, ... in Computer and Information Science)
ISBN 13: 9783642221903
Format: Paperback (760 pages) Publisher: Springer Published: 22 Jun 2011
Experimental Algorithms: 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642206610
Format: Paperback (468 pages) Publisher: Springer Published: 28 Apr 2011
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... / Programming and Software Engineering)
ISBN 13: 9783642198281
Format: Paperback (299 pages) Publisher: Springer Published: 23 Mar 2011