Introduction aux expressions régulières :: SCD d'Orléans

Introduction aux expressions régulières

Introduction aux expressions régulières

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Desgraupes, Bernard
Format:	Livre papier
Sprache:	Français
Veröffentlicht:	Paris : Vuibert 2001.
Schlagworte:	Éditeurs de texte (logiciels) > Notation Programmation (mathématiques) Génie logiciel Logiciels > Notation Langages de programmation > Syntaxe
Anmerkung:	Lexique anglais-français
Autres localisations:	Voir dans le Sudoc

Ähnliche Einträge

Maîtrise des expressions régulières
von: Friedl, Jeffrey E.F., 1966-
Veröffentlicht: (2003)

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

Building tightly integrated software development environments : the IPSEN approach
von: Nagl, Manfred, 1944-

KORSO : methods, languages, and tools for the construction of correct software : final report
von: Broy, Manfred, 1949-

CASL user manual : introduction to using the Common Algebraic Specification Language
von: Bidoit, Michel, 1957-, et al.

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

Artisanat logiciel propre : disciplines, normes et éthique
von: Martin, Robert C., 1952-...., informaticien
Veröffentlicht: (2022)

Spécifications algébriques, algorithmique et programmation
von: Dufourd, Jean-François, et al.
Veröffentlicht: (1995)

CASL reference manual : the complete documentation of the Common Algebraic Specification Language
von: Mosses, Peter D.

Attribute grammars, applications and systems : international summer school, Prague, Czechoslovakia, June 4-13, 1991 : proceedings

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

Domain-specific program generation : international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers
von: Lengauer, Christian

Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers

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

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

FST TCS 2001 : foundations of software technology and theoretical computer science : 21st Conference, Bangalore, India, December 13 15, 2001 : 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

TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13 17, 1989 advanced seminar on foundations of innovative software development I and colloquium on trees in algebra an programming (CAAP '89)

Semantics, applications, and implementation of program generation : [first] International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings

Compiler construction : 9th International Conference, CC 2000held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

Extreme programming and agile processes in software engineering : 4th international conference, XP 2003, Genova, Italy, May 25-29, 2003 : proceedings

Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism
von: Rao, Josyula Ramachandra, 19..-

Generative programming and component engineering : Third international conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : proceedings

Formal syntax and semantics of Java
von: Alves-Foss, Jim, 1964-

Modular specification and verification of object-oriented programs
von: Müller, Peter, 1961-...., informaticien

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

Verification, model checking, and abstract interpretation : Third International Workshop, VMCAI 2002 Venice, Italy, January 21 22, 2002 : revised papers
Veröffentlicht: (2003)

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

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

Optimal interprocedural program optimization : a new framework and its application
von: Knoop, Jens

Interacting code motion transformations : their impact and their complexity
von: Rüthing, Oliver

Theoretical aspects of computer software : [second] international symposium TACS '94, Sendai, Japan, April 19-22, 1994 : proceedings

Theoretical aspects of computer software : [first] International Conference, TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings

Model checking software : 9th International SPIN Workshop Grenoble, France, April 11 13, 2002 : proceedings

Model checking software : 10th International SPIN workshop, Portland, OR, USA, may 9-10, 2003 : proceedings

Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings

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
von: Petrenko, Alexandre

Theoretical and practical aspects of SPIN model-checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 : proceedings

Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers

Reliable software technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings
von: Llamosí, Albert

© 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