FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science)
by Ana Cavalcanti,Dennis Dams
ISBN 13: 9783642050886
Format: Paperback (840 pages) Publisher: Springer Published: 26 Oct 2009
Save for later
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... 4486 (Lecture Notes in Computer Science)
by Marco Bernardo
ISBN 13: 9783540724827
Format: Illustrated (484 pages) Publisher: Springer Published: 28 Jun 2007
Managing the Software Enterprise: Software Engineering and Information Systems in Context
by Pat Hall,Juan Fernandez-Ramil
ISBN 13: 9781844803545
Format: Paperback (456 pages) Publisher: Cengage Learning EMEA Published: 30 Jan 2007
Value-Based Software Engineering
by Stefan Biffl,Aybuke Aurum,Barry Boehm
ISBN 13: 9783540259930
Format: Hardcover (412 pages) Publisher: Springer Published: 13 Sep 2005
Engineering Interactive Systems: EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers: 4940 (Lecture Notes in Computer Science)
by Jan Gulliksen
ISBN 13: 9783540926979
Format: Illustrated (656 pages) Publisher: Springer Published: 18 Dec 2008
Artificial Intelligence Applications for Improved Software Engineering Development: New Prospects (Advances in Intelligent Information Technologies ... in Computational Intelligence and Robotics)
by Farid Meziane,Sunil Vadera
ISBN 13: 9781605667584
Format: Illustrated (341 pages) Publisher: IGI Global Published: 15 Sep 2009
Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings: 5937 (Lecture Notes in Computer Science)
by Manuel Carro,Ricardo Peña
ISBN 13: 9783642115028
Format: Illustrated (297 pages) Publisher: Springer Published: 12 Jan 2010
Unit Testing in Java: How Tests Drive the Code (The Morgan Kaufmann Series in Software Engineering and Programming)
by Johannes Link
ISBN 13: 9781558608689
Format: Paperback (400 pages) Publisher: Morgan Kaufmann Published: 10 Jun 2003
Software Engineering: Theory and Practice
by N/A
ISBN 13: 9780136061694
Format: Hardcover (792 pages) Publisher: Prentice Hall Published: 17 Feb 2009 Other Format: Paperback
Software & Systems Requirements Engineering: In Practice
ISBN 13: 9780071605472
Format: Hardcover (356 pages) Publisher: McGraw-Hill Osborne Published: 01 May 2009
Collaborative Software Engineering
ISBN 13: 9783642102936
Format: Hardcover (470 pages) Publisher: Springer Published: 11 Mar 2010
Modeling in Event-B: System and Software Engineering
ISBN 13: 9780521895569
Format: Hardcover (612 pages) Publisher: Cambridge University Press Published: 13 May 2010