Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer ... Germany, February 16-19, 2009, Proceedings
by Michael Leuschel, Heike Wehrheim
ISBN 13: 9783642002540
Format: Paperback (367 pages) Publisher: Springer Published: 02 Feb 2009
Save for later
Theory and Practice of Model Transformations: First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008, Proceedings: First ... 5063 (Lecture Notes in Computer Science)
by Antonio Vallecillo
ISBN 13: 9783540699262
Format: Paperback (280 pages) Publisher: Springer Published: 24 Jul 2008
Requirements Engineering: From System Goals to UML Models to Software Specifications
by Axel van Lamsweerde
ISBN 13: 9780470012703
Format: Paperback (712 pages) Publisher: John Wiley & Sons Published: 09 Jan 2009
Artificial Intelligence and Software Engineering: Understanding the Promise of the Future
by Derek Partridge
ISBN 13: 9781579580629
Format: Hardcover (375 pages) Publisher: Routledge Published: 01 Jan 1998
End-User Development: 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
by
ISBN 13: 9783642004254
Format: Paperback (285 pages) Publisher: Springer Published: 27 Feb 2009
C A Software Engineering Approach
by Peter A. Darnell,Philip E. Margolis
ISBN 13: 9780387946757
Format: Illustrated (526 pages) Publisher: Springer Published: 04 Oct 2013
Sensor Systems and Software: First International ICST Conference, S-CUBE 2009, Pisa, Italy, September 7-9, 2009, Revised Selected Papers (Lecture ... and Telecommunications Engineering)
ISBN 13: 9783642115271
Format: Paperback (289 pages) Publisher: Springer Published: 13 Jan 2010
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
Component-Based Software Engineering: 10 (SIGS: Managing Object Technology, Series Number 10)
by Thomas Jell
ISBN 13: 9780521648219
Format: Illustrated (172 pages) Publisher: Cambridge University Press Published: 28 May 1998
Discrete Maths Software Engineers: An Introduction for Software Engineers
by Mike Piff
ISBN 13: 9780521386227
Format: Paperback (332 pages) Publisher: Cambridge University Press Published: 27 Jun 1991
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
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