Computer aided verification : ; proceedings :: SCD d'Orléans

Computer aided verification : ; proceedings 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004

Computer aided verification : ; proceedings 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004

Uloženo v:

Podrobná bibliografie
Korporativní autor:	International conference on computer-aided verification :Boston, Mass.
Další autoři:	Alur, Rajeev, 1966- (Šéfredaktor, odpovědný redaktor), Peled, Doron A., 1962- (Šéfredaktor, odpovědný redaktor)
Médium:	Livre numérique
Jazyk:	Anglais
Vydáno:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Edice:	Lecture notes in computer science 3114
Témata:	Génie logiciel Informatique Logiciels > Vérification Circuits intégrés Intelligence artificielle Logique symbolique et mathématique Essais Structure logique Actes de congrès
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Computer aided verification, 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Rajeev Alur, Doron A. Peled (eds.), Berlin, Springer, 2004, 1 vol. (XII-536 p.), Lecture notes in computer science, 3-540-22342-8 • Computer Aided Verification, Texte imprimé, 9783662165188

Podobné jednotky

Computer aided verification : 11th International Conference, CAV 99, Trento, Italy, July 6 10, 1999 : proceedings

Computer aided verification : ; proceedings 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000

Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings

Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27 31, 2002 : proceedings

Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings

Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings

Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 July 1, 1992 : proceedings

Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 July 2, 1998 : proceedings

Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings

Effective Functional Verification : Principles and Processes
Autor: Vasudevan, Srivatsa
Vydáno: (2006)

Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18 21, 1990 : proceedings

Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings

Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
Autor: Dershowitz, Nachum, 1951-

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4 7, 2001 : proceedings

Formal methods in computer aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
Autor: Steffen, Bernhard, 1956-

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L Aquila, Italy, October 21-24, 2003 : proceedings
Autor: Geist, Daniel

Formal methods in computer-aided design : 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings

Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings

Theoretical aspects of computer software : ; proceedings 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings

Foundations of software science and computation structures : 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
Autor: Müller-Olm, Markus, 19..-

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : proceedings

Theoretical aspects of computer software : Third International Symposium, TACS'97, Sendai, Japan, September 23 26, 1997 : proceedings

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

Formal hardware verification : methods and systems in comparison
Autor: Kropf, Thomas, 1961-

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000 : proceedings

Foundations of software science and computation structures : 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

Foundations of software technology and theoretical computer science : sixth conference, New Delhi, India, December 18-20, 1986 : proceedings : FST and TCS 6

Sciences du logiciel
Autor: Leroy, Xavier
Vydáno: (2025)

Sciences du logiciel
Autor: Leroy, Xavier
Vydáno: (2024)

Foundations of software science and computation structures : 5th international conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
Autor: Slind, Konrad

Foundations of software technology and theoretical computer science : tenth conference, Bangalore, India, December 17-19, 1990 : proceedings : FST and TCS 10

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales