The Vienna development method : :: SCD d'Orléans

The Vienna development method : the meta-language

The Vienna development method : the meta-language

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Bjørner, Dines, 1937-
Andre forfattere:	Jones, Cliff B., 1944- (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 61
Fag:	Informatique Logique symbolique et mathématique
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• The Vienna development method : the meta-language, ed. by D. Bjoerner and C.B. Jones, Berlin, Springer, 1978, 1 vol. (XV-382 p.), Lecture notes in computer science, 3-540-08766-4 • The Vienna Development Method: The Meta-Language, Texte imprimé, 9783662181713

Lignende værker

Developments in language theory : 7th international conference, DLT 2003, Szeged, Hungary, July 7-11, 2003 : proceedings

Developments in language theory : 5th International Conference, DLT 2001, Wien, Austria, July 16 21, 2001 : revised papers

Developments in language theory : 6th international conference, DLT 2002, Kyoto, Japan, September 18-21, 2002 : revised papers

The generic development language Deva : presentation and case studies
af: Weber, Matthias, et autres

Program development in computational logic : a decade of research advances in logic-based program development
af: Bruynooghe, Maurice

Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information ESSLLI 97 Workshop, Aix-en-Provence, France, August 11 22, 1997 : revised lectures

Programming languages and their definition
af: Bekič, Hans, 1936-1982

Learning language in logic
af: Cussens, James, 1965-

Specifying message passing and time-critical systems with temporal logic
af: Koymans, Ron, 1959-

Logic journal of the IGPL.
Udgivet: (1997)

Journal of the IGPL.
Udgivet: (1995)

Bulletin of the IGPL.
Udgivet: (1993)

Computer science logic : 17th international workshop CSL 2003 : 12th annual conference of the EACSL : 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

Logical foundations of computer science - Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings

EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1 3 1985 : proceedings invited lectures

Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings

Computer science logic : 10th international workshop, CSL 96 : Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : proceedings

Model generation for natural language interpretation and analysis
af: Konrad, Karsten, 1969-

Méthodes de logique
af: Quine, Willard Van Orman, 1908-2000, philosophe
Udgivet: (1973)

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

Informatique mathématique : une photographie en 2022
af: Bournez, Olivier, et autres
Udgivet: (2022)

Automata, logics, and infinite games
af: Grädel, Erich, 1958-

Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers

Three Views of Logic : Mathematics, Philosophy, and Computer Science
af: Loveland, Donald W., et autres
Udgivet: (2014)

CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings

Lambda-calcul : types et modèles
af: Krivine, Jean-Louis, 1939-
Udgivet: (1990)

Recent trends in algebraic development techniques : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers

Computer science logic : 15th international workshop, CSL 2001 : 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Computer science logic : 16th international workshop, CSL 2002 : 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings

Computer science logic : 18th International Workshop, CSL 2004 : 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

Computer science logic : 12th international workshop, CSL '98 : [7th] annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings

Computer science logic : 9th international workshop, CSL '95 : annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

Computer science logic : 11th international workshop, CSL '97 : [6th] annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : procedings

Computer science logic : 14th International Workshop, CSL 2000 : [9th] Annual Conference of the EACSL, Fischbachau, Germany, August 21 26, 2000 : proceedings

Logique et modélisation : modèles consistants, données compatibles
af: Gondran, Michel, et autres
Udgivet: (1995)

Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
af: Mycielski, Jan, 1932-2025

Logique(s), langages formels et complexité pour l'informatique
af: Jussien, Narendra, 1973-
Udgivet: (2006)

Mathematical foundations of computer science 1984 : proceedings, 11th symposium, Praha, Czechoslovakia, September 3-7, 1984 : MFCS '84

[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
Udgivet: (2005)

© 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