Static Analysis 8th International Symposium, SAS 2001 Paris, France, July 16вЂ"18, 2001 Proceedings /

Static Analysis 8th International Symposium, SAS 2001 Paris, France, July 16вЂ"18, 2001 Proceedings /

Bibliographic Details
Main Author:	Cousot, Patrick
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
Series:	Lecture Notes in Computer Science,
Subjects:	Computer Science Logic design Software engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering
Online Access:	http://dx.doi.org/10.1007/3-540-47764-0 Перейти в каталог НБ ТГУ

Similar Items

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
by: Hutchison, David
Published: (2008)

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings /
by: Nielson, Hanne Riis
Published: (2007)

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings /
Published: (2013)

Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /
Published: (2014)

Static Analysis (vol. # 3672) 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings
by: Hankin, Chris
Published: (2005)

Static Analysis (vol. # 4134) 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings
by: Yi, Kwangkeun
Published: (2006)

Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings /
Published: (2015)

Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday /
by: Comon-Lundh, Hubert
Published: (2007)

25 Years of Model Checking History, Achievements, Perspectives /
by: Grumberg, Orna
Published: (2008)

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /
by: Reps, Thomas
Published: (2007)

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings /
Published: (2014)

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Published: (2014)

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /
Published: (2013)

ECOOP 2013 - Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings /
Published: (2013)

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /
Published: (2013)

Temporal Logic and State Systems
by: Kröger, Fred
Published: (2008)

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
Published: (2014)

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /
Published: (2014)

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
Published: (2014)

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
Published: (2014)

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /
Published: (2014)

ECOOP 2014 - Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings /
Published: (2014)

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings /
Published: (2014)

Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings /
by: Rocca, Simona Ronchi
Published: (2007)

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /
Published: (2013)

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /
Published: (2013)

Verification, Model Checking, and Abstract Interpretation (vol. # 3385) 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
by: Cousot, Radhia
Published: (2005)

Abstraction, Refinement and Proof for Probabilistic Systems
by: McIver, Annabelle
Published: (2005)

Integrated Formal Methods Third International Conference, IFM 2002 Turku, Finland, May 15вЂ"18, 2002 Proceedings /
by: Butler, Michael
Published: (2006)

Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
by: Hutchison, David
Published: (2008)

Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings /
by: Hanus, Michael
Published: (2007)

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
Published: (2013)

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings /
Published: (2014)

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /
Published: (2013)

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /
Published: (2013)

Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings /
Published: (2013)

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /
by: Davies, Jim
Published: (2007)

From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings /
Published: (2014)

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings /
Published: (2013)

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings /
by: Hudak, Paul
Published: (2008)