Ada in Europe : :: SCD d'Orléans

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

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

This book presents the refereed proceedings of the Second International Eurospace - Ada-Europe Symposium, held in Frankfurt, Germany, in October 1995. The 37 selected revised papers are organized in sections on Ada 95: the future, safety, language, applications, distribution, methods and tools, desi...

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	International Eurospace Ada-Europe Symposium :Francfort-sur-le-Main, Allemagne
Diğer Yazarlar:	Toussaint, Marcel (Yayın yönetmeni)
Materyal Türü:	Livre numérique
Dil:	Anglais
Baskı/Yayın Bilgisi:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seri Bilgileri:	Lecture notes in computer science 1031
Konular:	Génie logiciel Informatique Langages de programmation Systèmes d'exploitation (ordinateurs) Ordinateurs Ada (langage de programmation) Actes de congrès
Online Erişim:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Not:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Ada in Europe, Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995, proceedings, Marcel Toussaint, ed, 1996, Berlin, Springer, 1 vol. (XI-455 p.), Lecture notes in computer science, 3-540-60757-9 • Ada in Europe, Texte imprimé, 9783662208892

Benzer Materyaller

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

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

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

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

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

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

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

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 '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2 6, 1997 : proceedings

Reliable software technologies : Ada Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : 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 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
Yazar:: Llamosí, Albert

Ada 95 Quality and Style

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

Vers ADA 95 par l'exemple : langage, technique et pratique
Yazar:: Fayard, Didier, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000 : proceedings

Component deployment : Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004 : Proceedings

Modular programming languages : Joint Modular Languages Conference, JMLC '97, Linz, Austria, March 19 21, 1997 : proceedings

A Decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands June 1 4, 1993 : proceedings

Global computing : programming environments, languages, security, and analysis of systems : IST/FET international workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : revised papers

Embedded software : third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings

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

High-level parallel programming models and supportive environments : 6th international workshop, HIPS 2001, San Francisco, CA, USA, April 23, 2001 : proceedings

Programming languages and systems : Second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings
Yazar:: Chin, Wei-Ngan

A review of Ada tasking
Yazar:: Burns, Alan, 1953-, ve diğerleri

Programming languages and system architectures : international conference, Zürich, Switzerland, March 2-4, 1994 : proceedings
Yazar:: Gutknecht, Jürg, 1949-

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

Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization
Yazar:: Fahringer, Thomas, 1965-, ve diğerleri

Towards a formal description of Ada
Yazar:: Bjørner, Dines, 1937-

Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES '98, Montréal, Canada, June 9-12, 1998 : proceedings

Programming languages and systems : First Asian symposium, APLAS 2003, Beijing, China, November 27-29, 2003 : proceedings

Program verification using Ada
Yazar:: McGettrick, Andrew D., 1944-
Baskı/Yayın Bilgisi: (1982)

Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings

Object technologies for advanced software : first JSSST international symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings

Formal methods for components and objects : First international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures

Object technologies for advanced software : Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11 15, 1996 : proceedings

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

Metalevel architectures and separation of crosscutting concerns : third international conference, REFLECTION 2001 Kyoto, Japan, September 25 28, 2001 : proceedings

Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12 16, 2001 : 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