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

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

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

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99. The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also...

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	International conference on computer-aided verification :Trieste, Italie
Diğer Yazarlar:	Halbwachs, Nicolas, 1953-...., informaticien (Yayın yönetmeni), Peled, Doron A., 1962- (Yayın yönetmeni)
Materyal Türü:	Livre numérique
Dil:	Anglais
Baskı/Yayın Bilgisi:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seri Bilgileri:	Lecture notes in computer science 1633
Konular:	Génie logiciel Informatique Logiciels > Vérification Circuits intégrés Logique symbolique et mathématique Essais Logiciels > Essais Structure logique Actes de congrès
Online Erişim:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Not:	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, 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Nicolas Halbwachs, Doron Peled (Eds.), 1999, Berlin, Springer, 1 vol. (XII-506 p.), Lecture notes in computer science, 3-540-66202-2 • Computer Aided Verification, Texte imprimé, 9783662192832

Benzer Materyaller

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

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

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

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

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

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

Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : 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 : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings

Effective Functional Verification : Principles and Processes
Yazar:: Vasudevan, Srivatsa
Baskı/Yayın Bilgisi: (2006)

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 July 2, 1998 : 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

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

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
Yazar:: Geist, Daniel

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

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

Les tests logiciels : fondamentaux
Yazar:: Homès, Bernard
Baskı/Yayın Bilgisi: (2011)

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
Yazar:: Godefroid, Patrice, 19..-

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

Pratique des tests logiciels : concevoir et mettre en oeuvre une stratégie de tests : préparer à la certification ISTQB
Yazar:: Pradat-Peyre, Jean-François, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Pratique des tests logiciels : améliorer la qualité par les tests : gérer une campagne de test : préparer la certification ISTQB
Yazar:: Pradat-Peyre, Jean-François, 19..-...., enseignant-chercheur en informatique, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

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 methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings

Model checking software : 8th International SPIN Workshop Toronto, Canada, May 19 20, 2001 : proceedings

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

Méthode B
Baskı/Yayın Bilgisi: (2003)

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : revised Papers
Yazar:: Petrenko, Alexandre

Qualité logicielle pour les développeurs : un back-end de qualité : plus d'excuses !
Yazar:: Lépine, Jean-François, 19..-...., informaticien
Baskı/Yayın Bilgisi: (2023)

Foundations of software science and computation structures : Second International Conference, FOSSACS 99, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands,March 22 28, 1999 : proceedings

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

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

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

Qualité logicielle pour les développeurs : un back-end de qualité : plus d'excuses !
Yazar:: Lépine, Jean-François, 19..-...., informaticien
Baskı/Yayın Bilgisi: (2023)

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

Foundations of software science and computation structures : Third International Conference, FOSSACS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

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

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

© 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