Formal methods at the crossroads : :: SCD d'Orléans

Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers

Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers

Uloženo v:

Podrobná bibliografie
Korporativní autor:	International Institute for Software Technology of the United Nations University (Autor)
Další autoři:	Aichernig, Bernhard K., 1969- (Šéfredaktor, odpovědný redaktor), Maibaum, Thomas S. E, 1947- (Šé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 2757
Témata:	Génie logiciel Informatique Langages de programmation Logique symbolique et mathématique 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:	• Formal methods at the crossroads, from panacea to foundational support, 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002, revised papers, Bernhard K. Aichernig, Tom Maibaum (eds.), Berlin, Springer, 2003, 1 vol. (XIV-453 p.), Lecture notes in computer science, 3-540-20527-6 • Formal Methods at the Crossroads. From Panacea to Foundational Support, Texte imprimé, 9783662185421

Podobné jednotky

An introduction to formal logic
Autor: Smith, Peter J, 1944-
Vydáno: (2003)

Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963
Vydáno: (1965)

Formal semantics : the essential readings
Autor: Portner, Paul H., 1966-
Vydáno: (2002)

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings

Mathematical interpretation of formal systems
Autor: Skolem, Thoralf, 1887-1963, a další
Vydáno: (1971)

Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures

Inductive logic programming : 12th international conference, ILP 2002, Sydney, Australia, July 9-11, 2002 : revised papers

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

Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, november 4-7, 2003 : revised lectures

Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5 7, 2000 : revised papers

New trends in formal languages : control, cooperation, and combinatorics
Autor: Păun, Gheorghe, 1950-

Formal and natural computing : essays dedicated to Grzegorz Rozenberg
Autor: Brauer, Wilfried, 1937-2014

Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers

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

Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques
Autor: Ladrière, Jean, 1921-2007
Vydáno: (1992)

Formal concept analysis : mathematical foundations : with 105 figures
Autor: Ganter, Bernhard, a další
Vydáno: (1999)

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

Teaching formal methods : CoLogNET/FME symposium, TFM 2004, Ghent, Belgium, november 18-19, 2004 : proceedings
Autor: Dean, Neville, 19..-

Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 9, 1998 : proceedings

Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings

Grammatical inference : algorithms and applications : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings

Formal methods in programming and their applications : international conference, Academgorodok, Russia June 28 July 2, 1993 : proceedings

Field-programmable logic and applications : 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003 : proceedings

Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings

Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : 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
Autor: Petrenko, Alexandre

FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12 16, 2001 : proceedings

Automata, languages and programming : 10th Colloquium, Barcelona, Spain, July 18-22, 1983

Vers un formalisme abstrait implémentable pour l'étude savante des textes numérisés
Autor: Role, François, 1964-
Vydáno: (2001)

Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings

Current topics in artificial intelligence : 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003 : revised selected papers

Learning classifier systems : 5th international workshop, IWLCS 2002, Granada, Spain, September 7-8, 2002 : revised papers

Logic based program synthesis and transformation : ; revised selected papers 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003
Autor: Bruynooghe, Maurice

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

Formal aspects of security : First international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers

Foundations of software technology and theoretical computer science : 16th conference, Hyderabad, India, December 18-20, 1996 : proceedings

Automata implementation : 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers

Applying formal methods : testing, performance, and M/E-Commerce : FORTE 2004 workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : roceedings

Logic programming : 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 August 1, 2002 : proceedings

Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers

© 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