Advances in Blended Learning: Second Workshop on Blended Learning, WBL 2008, Jinhua, China, August 20-22, 2008, Revised Selected Papers (Lecture Notes ... / Programming and Software Engineering)
by
ISBN 13: 9783540899617
Format: Paperback (185 pages) Publisher: Springer Published: 02 Dec 2008
Save for later
Methods, Models and Tools for Fault Tolerance (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642008665
Format: Paperback (343 pages) Publisher: Springer Published: 26 Mar 2009
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, ... / Programming and Software Engineering)
ISBN 13: 9783642031526
Format: Paperback (301 pages) Publisher: Springer Published: 14 Jul 2009
Transactions on Aspect-Oriented Software Development VI: Special Issue on Aspects and Model-Driven Engineering: 5560 (Lecture Notes in Computer ... on Aspect-Oriented Software Development)
ISBN 13: 9783642037634
Format: Paperback (267 pages) Publisher: Springer Published: 26 Oct 2009
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings ... / Programming and Software Engineering)
ISBN 13: 9783642045691
Format: Paperback (213 pages) Publisher: Springer Published: 26 Oct 2009
Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642106712
Format: Paperback (359 pages) Publisher: Springer Published: 24 Nov 2009
Rule Interchange and Applications: International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings (Lecture Notes in ... / Programming and Software Engineering)
ISBN 13: 9783642049842
Format: Paperback (353 pages) Publisher: Springer Published: 15 Oct 2009
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
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
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