Computer Aided Verification (vol. # 3576) 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Computer Aided Verification (vol. # 3576) 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Bibliographic Details
Published in:	Springer e-books
Main Author:	Etessami, Kousha
Corporate Author:	SpringerLink (Online service)
Other Authors:	Rajamani, Sriram K.
Format:	eBook
Language:	English
Published:	Berlin Heidelberg : Springer-Verlag GmbH., 2005
Series:	Lecture Notes in Computer Science,
Subjects:	Artificial intelligence Computer Science Logic design Software engineering Artificial Intelligence (incl. Robotics) Logic Design Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering
Online Access:	http://dx.doi.org/10.1007/b138445 Перейти в каталог НБ ТГУ

Similar Items

Computer Aided Verification (vol. # 4144) 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
by: Ball, Thomas
Published: (2006)

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
by: Damm, Werner
Published: (2007)

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
by: Hutchison, David
Published: (2008)

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
by: Hurd, Joe
Published: (2005)

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
by: Hutchison, David
Published: (2008)

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
by: Schneider, Klaus
Published: (2007)

Compiler Construction (vol. # 3443) 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
by: Bodik, Rastislav
Published: (2005)

Compiler Construction (vol. # 3923) 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings
by: Mycroft, Alan
Published: (2006)

Automated Deduction - CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
by: Nieuwenhuis, Robert
Published: (2005)

Automated Deduction вЂ" CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
by: Pfenning, Frank
Published: (2007)

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Published: (2013)

Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings /
by: Hendren, Laurie
Published: (2008)

Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
by: Furbach, Ulrich
Published: (2006)

Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
by: Carbonell, Jaime G.
Published: (2008)

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino /
by: Beckert, Bernhard
Published: (2007)

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835) 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
by: Sutcliffe, Geoff
Published: (2005)

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings
by: Saitta, Lorenza
Published: (2005)

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
by: Baader, Franz
Published: (2005)

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, SaarbrГјcken, Germany, October 3-6, 2005, Proceedings
by: Borrione, Dominique
Published: (2005)

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
Published: (2013)

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings /
Published: (2014)

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings /
Published: (2013)

Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /
Published: (2014)

Theoretical Aspects of Computing - ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings /
Published: (2013)

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
by: Carbonell, Jaime G.
Published: (2008)

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
by: Dershowitz, Nachum
Published: (2007)

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
by: Edelkamp, Stefan
Published: (2007)

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /
Published: (2013)

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
by: Henson, Martin
Published: (2005)

Computer Science Logic (vol. # 3634) 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
by: Ong, Luke
Published: (2005)

Agent Communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers /
by: Carbonell, Jaime G.
Published: (2006)

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /
Published: (2014)

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I /
Published: (2014)

Design of Experiments for Reinforcement Learning
by: Gatti, Christopher
Published: (2015)

Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning /
by: Abe, Jair Minoro, et al.
Published: (2015)

Programming Multi-Agent Systems (vol. # 3862) Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers
by: Bordini, Rafael H.
Published: (2006)

Logic for Programming, Aritficial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
by: Hermann, Miki
Published: (2006)

Decision Procedures An Algorithmic Point of View /
by: Kroening, Daniel
Published: (2008)

Automated Deduction - CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /
Published: (2013)

Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004
by: Dignum, Frank
Published: (2005)