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

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

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

This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997. The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions...

Descrizione completa

Salvato in:

Dettagli Bibliografici
Ente Autore:	International conference on computer-aided verification :Haïfa, Israël
Altri autori:	Grumberg, Orna, 1952- (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 1254
Soggetti:	Génie logiciel Conception assistée par ordinateur Informatique Intelligence artificielle Évaluation Logique symbolique et mathématique Ordinateurs Logiciels > Essais Ingénierie assistée par ordinateur Actes de congrès
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	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, 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997, proceedings, Orna Grumberg (ed.), 1997, Berlin [etc.], Springer, 1 vol. (XI-486 p.), Lecture notes in computer science, 3-540-63166-6 • Computer Aided Verification, Texte imprimé, 9783662206973

Documenti analoghi

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

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

Computer aided systems theory - EUROCAST'97 : a selection of papers from the 6th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24 28, 1997 : proceedings

Optimization-based computer-aided modelling and design : proceedings of the first working conference of the new IFIP TC 7.6 Working Group,The Hague, The Netherlands, 1991

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

Advanced information systems engineering : 12th International Conference, CAiSE 2000, Stockholm, Sweden, June 5 9, 2000 : proceedings
di: Wangler, Benkt, et al.

Computer aided systems theory - EUROCAST 2003 : 9th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24-28, 2003 : revised selected papers

Computer aided systems theory - EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 : revised papers

Computer aided systems theory - EUROCAST '95 : a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995 : proceedings

Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18 21, 1990 : 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

Computer aided design : modelling, systems engineering, CAD-systems : CREST advanced course, Darmstadt, 8. 19. September 1980

Computer aided systems theory - EUROCAST '93 : a selection of papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26 1993 : proceedings

Computer aided systems theory - EUROCAST'99 : ; proceedings a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29 - October 2, 1999

Computer aided systems theory - EUROCAST '89 : a selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain February 26 March 4, 1989 : 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

Future tendencies in computer science, control and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8 11, 1992 : proceedings

An expert systems approach to computer-aided design of multivariable systems
di: Pang, Grantham K. H., et al.

Computer Aided Systems Theory EUROCAST '91 : A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory Krems, Austria, April 15 19 1991 Proceedings

Formal development of reactive systems : case study production cell
di: Lewerentz, Claus, 19..-

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

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

Computer-aided design
Pubblicazione: (1990)

Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7 11, 1992 Proceedings

Advanced information systems engineering : 6th International Conference, CAiSE'94, Utrecht, The Netherlands, June 6 10, 1994 : proceedings

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

Field-programmable logic and applications : 14th International Conference, FPL 2004, Antwerp, Belgium, August 30-September 1, 2004 : proceedings
di: Becker, Jürgen, 1929-

Advanced information systems engineering : 4th International Conference CAiSE '92, Manchester, UK, May 12 15, 1992 : proceedings

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

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

Advanced information systems engineering : 9th international conference, CAiSE '97, Barcelona, Catalonia, Spain, June 16 20, 1997 : proceedings

Computer-aided cooperative product development : MIT-JSME workshop, MIT, Cambridge, USA, November 20/21, 1989 : proceedings

Advanced information systems engineering : Second Nordic Conference CAiSE '90, Stockholm, Sweden, May 8 10, 1990 : proceedings

Applications of invariance in computer vision : second joint European - US workshop, Ponta Delgada, Azores, Portugal, October 9-14, 1993 : proceedings

On the computational geometry of pocket machining
di: Held, Martin

AutoCAD LT 2016 : des fondamentaux à la présentation détaillée autour de projets professionnels
di: Le Frapper, Olivier, et al.
Pubblicazione: (2015)

AutoCAD 2016 : des fondamentaux à la présentation détaillée autour de projets professionnels
di: Gouez, Jean-Yves, et al.
Pubblicazione: (2015)

AutoCAD 2017 : des fondamentaux à la présentation détaillée autour de projets professionnels
di: Le Frapper, Olivier, et al.
Pubblicazione: (2016)

AutoCAD 2018 : des fondamentaux à la présentation détaillée autour de projets professionnels
di: Gouez, Jean-Yves, et al.
Pubblicazione: (2017)

© 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