Computer Systems and Software Engineering: State-of-the-Art
by
ISBN 13: 9780792317180
Format: Hardcover (436 pages) Publisher: Springer Published: 30 Apr 1992
Save for later
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
Categories for Software Engineering
by Jose Luiz Fiadeiro
ISBN 13: 9783540209096
Format: Hardcover (250 pages) Publisher: Springer Published: 18 Oct 2004
Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings: 8th ... / Programming and Software Engineering)
ISBN 13: 9783540290100
Format: Paperback (722 pages) Publisher: Springer Published: 19 Sep 2005
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
Software Engineering: International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540958871
Format: Paperback (257 pages) Publisher: Springer Published: 02 Feb 2009
Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642013638
Format: Paperback (241 pages) Publisher: Springer Published: 19 May 2009
Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, ... / Programming and Software Engineering)
ISBN 13: 9783642017018
Format: Paperback (215 pages) Publisher: Springer Published: 22 Apr 2009
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, ... / Programming and Software Engineering)
ISBN 13: 9783642019173
Format: Paperback (341 pages) Publisher: Springer Published: 12 May 2009
Software Composition: 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings: 5634 (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642026546
Format: Paperback (177 pages) Publisher: Springer Published: 22 Jun 2009
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642032363
Format: Paperback (361 pages) Publisher: Springer Published: 20 Jul 2009