Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures (Lecture ... / Programming and Software Engineering)
by
ISBN 13: 9783642252303
Format: Paperback (213 pages) Publisher: Springer Published: 09 Jan 2012
Save for later
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment: First International Workshop, DEVOPS ... 11350 (Lecture Notes in Computer Science)
by Jean-Michel Bruel,Manuel Mazzara,Bertrand Meyer
ISBN 13: 9783030060183
Format: Paperback (240 pages) Publisher: Springer Published: 28 Feb 2019
Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures: 7682 (Lecture Notes in Computer Science)
by Bertrand Meyer,Martin Nordio
ISBN 13: 9783642357459
Format: Paperback (192 pages) Publisher: Springer Published: 30 Nov 2012
Touch of Class: Learning to Program Well with Objects and Contracts
by Bertrand Meyer
ISBN 13: 9783662519073
Format: Paperback (944 pages) Publisher: Springer Published: 23 Aug 2016