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)
by
ISBN 13: 9783642032363
Format: Paperback (361 pages) Publisher: Springer Published: 20 Jul 2009
Save for later
Learning in the Synergy of Multiple Disciplines: 4th European Conference on Technology Enhanced Learning, EC-TEL 2009 Nice, France, September ... / Programming and Software Engineering)
ISBN 13: 9783642046353
Format: Paperback (813 pages) Publisher: Springer Published: 15 Sep 2009
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642046933
Format: Paperback (203 pages) Publisher: Springer Published: 23 Sep 2009
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture ... / Programming and Software Engineering)
ISBN 13: 9783642047602
Format: Paperback (414 pages) Publisher: Springer Published: 29 Sep 2009
Fundamentals of Software Engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers ... / Programming and Software Engineering)
ISBN 13: 9783642116223
Format: Paperback (471 pages) Publisher: Springer Published: 27 Jan 2010