Interactive Theorem Proving in Software Engineering
by Florian Kammuller
ISBN 13: 9783836457699
Format: Paperback (120 pages) Publisher: VDM Verlag Dr. Mueller e.K. Published: 22 Jul 2008
Save for later
Categories for Software Engineering
by Jose Luiz Fiadeiro
ISBN 13: 9783540209096
Format: Hardcover (250 pages) Publisher: Springer Published: 18 Oct 2004
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
Software Process Improvement With CMM (Software Engineering S.)
by Joseph Raynus
ISBN 13: 9780890066447
Format: Hardcover (228 pages) Publisher: Artech House Published: 30 Nov 1998
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
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
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems (NASA Monographs in Systems and Software Engineering)
by Walt Truszkowski,Harold Hallock,Christopher Rouff,Jay Karlin,James Rash,Michael Hinchey,Roy Sterritt
ISBN 13: 9781846282324
Format: Hardcover (308 pages) Publisher: Springer Published: 09 Dec 2009
Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings: 8th ... / Programming and Software Engineering)
by
ISBN 13: 9783540290100
Format: Paperback (722 pages) Publisher: Springer Published: 19 Sep 2005
Trends i Software Engineering: Vol 54 (Advances in Computers)
ISBN 13: 9780120121540
Format: Hardcover (350 pages) Publisher: Academic Press Published: 04 Jul 2001
Risk Management Processes for Software Engineering Models (Computer Science Library)
by Marian Myerson
ISBN 13: 9780890066355
Format: Hardcover (226 pages) Publisher: Artech House Published: 31 Oct 1996
Experience and Knowledge Management in Software Engineering
by Kurt Schneider
ISBN 13: 9783540958796
Format: Hardcover (235 pages) Publisher: Springer Published: 23 Jun 2009