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
Architecting Dependable Systems VI (Lecture Notes in Computer Science / Programming and Software Engineering)
by Rogerio de Lemos,Jean-Charles Fabre,Cristina Gacek,Fabio Gadducci,Maurice H. ter Beek
ISBN 13: 9783642102479
Format: Paperback (348 pages) Publisher: Springer Published: 02 Nov 2009
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
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
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
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
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
Facts and Fallacies of Software Engineering (Agile Software Development)
by Robert L. Glass Glass
ISBN 13: 9780321117427
Format: Illustrated (212 pages) Publisher: Addison-Wesley Professional Published: 28 Oct 2002
Disappearing Cryptography: Information Hiding: Steganography & Watermarking: Information Hiding: Steganography and Watermarking (The Morgan Kaufmann Series in Software Engineering and Programming)
by Peter Wayner
ISBN 13: 9780123744791
Format: Illustrated (456 pages) Publisher: Morgan Kaufmann Published: 18 Dec 2008