Reliable software technologies : :: SCD d'Orléans

Reliable software technologies : Ada Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedings

Reliable software technologies : Ada Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedings

Guardat en:

Dades bibliogràfiques
Autor corporatiu:	Ada-Europe International Conference on Reliable Software Technologies :Potsdam
Altres autors:	Plödereder, Erhard, 19..- (Director editorial), Keller, Hubert B. (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science 1845
Matèries:	Génie logiciel Informatique Fiabilité Langages de programmation Ordinateurs Réseaux d'ordinateurs Logiciels Ada (langage de programmation) Actes de congrès
Accés en línia:	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:	• Reliable software technologies Ada Europe 2000, 5th Ada-Europe International Conference on Reliable Software Technologies, Potsdam, Germany, June 26-30 2000, proceedings, Hubert B. Keller, Erhard Plödereder, New York, Springer, 2000, 1 vol. (XIII-304 p.), Lecture notes in computer science, 3-540-67669-4 • Reliable Software Technologies Ada-Europe 2000, Texte imprimé, 9783662167397

Ítems similars

Reliable software technologies : Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings

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

Reliable software technologies - Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2 6, 1997 : proceedings

Reliable software technologies - Ada-Europe 99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7 11, 1999 : proceedings

Reliable software technologies - Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14 18, 2001 : proceedings

Reliable software technologies - Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10 14, 1996 : proceedings

Reliable software technologies - Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16 20, 2003 : proceedings

Reliable software technologies Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies Uppsala, Sweden, June 8 12, 1998 : proceedings

Ada : moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992 : proceedings

Ada - Europe '93 : 12th Ada-Europe International Conference, Ada Sans Frontières , Paris, France, June 14 18, 1993 : proceedings

Ada 95 rationale : the language, tha standard libraries
per: Barnes, John Gilbert Presslie, 1937-

Ada in Europe : First International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26 30, 1994 : proceedings

Ada : the choice for '92 : Ada-Europe International Conference, Athens, Greece, May 13 17, 1991 : proceedings

Ada in Europe : Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995 : proceedings

Consolidated Ada reference manual : language and standard libraries : international standard ISO/IEC 8652/1995(E) with technical corrigendum 1
per: Taft, S. Tucker, 1953-

Ada 95 Quality and Style

Program verification using Ada
per: McGettrick, Andrew D., 1944-
Publicat: (1982)

ADA software tools interfaces : Workshop, Bath, July 13 15, 1983 : proceedings

Vers ADA 95 par l'exemple : langage, technique et pratique
per: Fayard, Didier, et al.
Publicat: (1999)

Software engineering and middleware : third international workshop, SEM 2002, Orlando, FL, USA, May 20-21, 2002 : revised papers

Software and compilers for embedded systems : 7th international workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003 : proceedings

Ada 95 reference manual : language and standard libraries
per: Taft, S. Tucker, 1953-

Software and compilers for embedded systems : 8th international workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004 : proceedings

ECOOP 99 - object oriented programming : 13th European Conference Lisbon, Portugal, June 14 18, 1999 : proceedings

ECOOP 2001 - object-oriented programming : 15th European Conference Budapest, Hungary, June 18 22, 2001 : proceedings

Telecommunications and beyond : the broader applicability of SDL and MSC : third international workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002 : revised papers

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

Software engineering - ESEC '95 : 5th European Software Engineering Conference, Sitges, Spain, September 25 28, 1995 : proceedings

Extreme programming and agile processes in software engineering : 5th international conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004 : proceedings

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

Software engineering - ESEC/FSE 99 : 7th European Software Engineering Conference held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6 10, 1999 : proceedings

Software engineering - ESEC/FSE '97 : 6th European Software Engineering Conference held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Zurich, Switzerland, September 22 25, 1997 : proceedings

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

Component-based software engineering : 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings

Agent-oriented software engineering III : third international workshop AOSE 2002, Bologna, Italy, July 15, 2002 : revised papers and invited contributions

Foundations of software technology and theoretical computer science : 18th conference, Chennai, India, December 17-19, 1998 : proceedings : FST and TCS 18

Generative and component-based software engineering : first international symposium, GCSE '99, Erfurt, Germany, September 28-30, 1999 : revised papers

Algebraic methods : theory, tools and applications

Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12 16, 2001 : proceedings

Middleware 2003 : ACM/IFIP/USENIX International Middleware Conference Rio de Janeiro, Brazil, June 16 20, 2003 : 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