Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... / Programming and Software Engineering)
by
ISBN 13: 9783642195822
Format: Paperback (207 pages) Publisher: Springer Published: 17 Mar 2011
Save for later
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Lecture Notes ... / Programming and Software Engineering)
ISBN 13: 9783642244308
Format: Paperback (261 pages) Publisher: Springer Published: 19 Sep 2011
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods I.C.F.E.M. 2009, Rio de Janeiro, Brazil, December ... (Lecture Notes in Computer Science)
by Karin Breitman
ISBN 13: 9783642103728
Format: Paperback (776 pages) Publisher: Springer Published: 17 Nov 2009
HCI and Usability for e-Inclusion: 5th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer ... 5889 (Lecture Notes in Computer Science)
by Andreas Holzinger, Klaus Miesenberger
ISBN 13: 9783642103070
Format: Illustrated (576 pages) Publisher: Springer Published: 26 Oct 2009
HCI and Usability for Education and Work: 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer ... 5298 (Lecture Notes in Computer Science)
by Andreas Holzinger
ISBN 13: 9783540893493
Format: Paperback (508 pages) Publisher: Springer Published: 13 Nov 2008
Software Engineering Best Practices: Lessons from Successful Projects in the Top Companies
by Capers Jones
ISBN 13: 9780071621618
Format: Illustrated (688 pages) Publisher: McGraw-Hill Education Published: 01 Nov 2009
Mythical Man-Month, The: Essays on Software Engineering, Anniversary Edition
by Frederick Brooks Jr.
ISBN 13: 9780201835953
Format: Paperback (336 pages) Publisher: Addison-Wesley Professional Published: 08 Aug 1995 Other Format: Paperback
Practical Aspects of Declarative Languages: 11th International Symposium, PADL 2009, Savannah, GA, USA, January 2009, Proceedings: 11th International ... (Lecture Notes in Computer Science)
by Terrance Swift, Andy Gill
ISBN 13: 9783540929949
Format: Paperback (285 pages) Publisher: Springer Published: 18 Dec 2008
Software Process and Product Measurement: International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007, Revised Papers: 4895 (Lecture Notes in Computer Science)
by Juan J. Cuadrado-Gallego
ISBN 13: 9783540855521
Format: Paperback (216 pages) Publisher: Springer Published: 25 Aug 2008
Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures (Lecture Notes in Computer Science)
by Egon Borger
ISBN 13: 9783540897613
Format: Paperback (288 pages) Publisher: Springer Published: 12 Dec 2008
Formal Foundations of Reuse and Domain Engineering: 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 2009 ... 27-30, (Lecture Notes in Computer Science)
by Stephen H. Edwards,Gregory Kulczycki
ISBN 13: 9783642042102
Format: Paperback (312 pages) Publisher: Springer Published: 11 Sep 2009
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, S.B.M.F. 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers (Lecture Notes in Computer Science)
by Marcel Vinícius Medeiros Oliveira, Jim Woodcock
ISBN 13: 9783642104510
Format: Paperback (351 pages) Publisher: Springer Published: 09 Nov 2009