Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ... / Programming and Software Engineering)
by
ISBN 13: 9783540779643
Format: Paperback (267 pages) Publisher: Springer Published: 01 Feb 2008
Save for later
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
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
Agile Processes in Software Engineering and Extreme Programming: 12th International Conference, XP 2011, Madrid, Spain, May 10-13, 2011, Proceedings (Lecture Notes in Business Information Processing)
ISBN 13: 9783642206764
Format: Paperback (346 pages) Publisher: Springer Published: 02 May 2011