Book serie: / Книги серии: Lecture Notes in Computer Science 6217 : Programming and Software Engineering » Page 42 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 6217 : Programming and Software Engineering » Page 42

book Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

pdf

Author: Thomas Ball Brian Hackett Shuvendu K. Lahiri Shaz Qadeer Julien Vanegue (auth.) Gary T. Leavens Peter O’Hearn Sriram K. Rajamani (eds.)
Language: English
Year: 2010

00

27.01.2024

1

0

book Theory and Practice of Model Transformations: 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings

Theory and Practice of Model Transformations: 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings

pdf

Author: James F. Terwilliger Anthony Cleve Carlo A. Curino (auth.) Zhenjiang Hu Juan de Lara (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Theory and Practice of Model Transformations: Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings

Theory and Practice of Model Transformations: Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings

pdf

Author: Benjamin C. Pierce (auth.) Richard F. Paige (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

pdf

Author: Marco Brambilla Stefano Ceri Massimo Tisi (auth.) Laurence Tratt Martin Gogolla (eds.)
Language: English
Year: 2010

00

27.01.2024

1

0

book Top Productivity through Software Reuse: 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings

Top Productivity through Software Reuse: 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings

pdf

Author: Krzysztof Czarnecki (auth.) Klaus Schmid (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Towards a Service-Based Internet: Third European Conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010. Proceedings

Towards a Service-Based Internet: Third European Conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010. Proceedings

pdf

Author: Danilo Ardagna Carlo Ghezzi Barbara Panicucci Marco Trubian (auth.) Elisabetta Di Nitto Ramin Yahyapour (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

pdf

Author: Andreas Kuehlmann (auth.) Achim D. Brucker Jacques Julliand (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Theory and Practice of Model Transformations: 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings

Theory and Practice of Model Transformations: 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings

pdf

Author: Alexander Egyed Andreas Demuth (auth.) Jordi Cabot Eelco Visser (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

pdf

Author: Rastislav Bodik (auth.) Jens Palsberg Zhendong Su (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings

Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings

pdf

Author: Kenneth L. McMillan (auth.) Eran Yahav (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0