Abstract software specifications : :: SCD d'Orléans

Abstract software specifications : 1979 Copenhagen Winter School, January 22 February 2, 1979 : proceedings

Abstract software specifications : 1979 Copenhagen Winter School, January 22 February 2, 1979 : proceedings

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	Copenhagen winter school on abstract software specifications :Copenhague
Diğer Yazarlar:	Bjørner, Dines, 1937- (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 86
Konular:	Génie logiciel Informatique 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:	• Abstract software specifications, proceedings, Copenhagen winter school, January 22 - February 2, 1979, Berlin, Springer, 1980, 1 vol. (XI-566 p.), Lecture notes in computer science, 3-540-10007-5 • Abstract Software Specifications, Texte imprimé, 9783662202869

Benzer Materyaller

Specification and design of software systems : Conference on operating systems, Visegrad, Hungary, January 23 27, 1982 : proceedings

COTS-based software systems : second international conference, ICCBSS 2003, Ottawa, Canada, February 10-13, 2003 : proceedings

COTS-based software systems : First International Conference, ICCBSS 2002 Orlando, FL, USA, February 4 6, 2002 : proceedings

COTS-based software systems : Third international conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004 : proceedings

Software process technology : third European Workshop EWSPT'94, Villard de Lance, France, February 7-9 1994 : proceedings

Software process technology : 7th European workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000 : proceedings

Development and evolution of software architecture for product families : Second International ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain February 26 27, 1998 : proceedings

Software product lines : Second International Conference, SPLC 2, San Diego, CA, USA, August 19 22, 2002 : proceedings

Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981

Objective software quality : objective quality : Second Symposium on Software Quality Techniques and Acquisition Criteria, Florence, Italy, May 28-30, 1995 : proceedings

Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : final report
Yazar:: Ehrig, Hartmut, 1944-

RIMS symposia on software science and engineering : Kyoto, 1982 : proceedings
Yazar:: Goto, Eiichi, 19..-

Software engineering education : [4th] SEI conference 1990, Pittsburgh, Pennsylvania, USA, April 2-3, 1990 : proceedings

Software reuse : advances in software reusability : 6th international conference, ICSR-6, Vienna, Austria, June 27-29, 2000 : proceedings

Software process technology : second European workshop, EWSPT '92, Trondheim, Norway, September 7-8, 1992 : proceedings

Software engineering environments : International Workshop on Environments, Chinon, France, September 18 20, 1989 : proceedings

Software process technology : 6th European Workshop, EWSPT'98, Weybridge, UK, September 1998 : proceedings

Verification, model checking, and abstract interpretation : Third International Workshop, VMCAI 2002 Venice, Italy, January 21 22, 2002 : revised papers
Baskı/Yayın Bilgisi: (2003)

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

Software process technology : 5th European workshop, EWSPT '96, Nancy, France, October 8-11, 1996 : proceedings

Software process technology : 4th European workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995 : proceedings

Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings

Software engineering education : [5th] SEI Conference 1991, Pittsburgh, Pennsylvania, USA, October 7-8, 1991 : proceedings

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

Software architecture : First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004 : proceedings
Yazar:: Oquendo, Flavio, 1958-...., auteur en informatique

Embedded software : first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings

Foundations of software technology and theoretical computer science : Fifth Conference, New Delhi, India December 16 18, 1985 : proceedings : FST and TCS 5

Software engineering education : 7th SEI CSEE Conference, San Antonio, Texas, USA, January 5 7, 1994 : proceedings

Generative and component-based software engineering : third international conference, GCSE 2001, Erfurt, Germany, September 2001 : proceedings

Experimental software engineering issues : critical assessment and future directions : international workshop, Dagstuhl Castle, Germany, September 14-18, 1992 : proceedings

Software reuse : methods, techniques, and tools : 7th international conference, ICSR-7, Austin, TX, USA, April 15-19, 2002 : proceedings
Yazar:: Gacek, Cristina, 1964-

Software configuration management : ICSE'97 SCM-7 Workshop, Boston, MA, USA, May 18 19, 1997 : proceedings

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

Software reuse : ; proceedings methods, techniques, and tools : 8th international conference, ICSR 2004, Madrid, Spain, July 5-9, 2004

Software product lines : Third international conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004 : proceedings

Software Quality : ECSQ 2002 : Quality Connection : 7th European Conference on Software Quality Helsinki, Finland, June 9 13, 2002 Proceedings

Software engineering education : [6th] SEI Conference 1992, San Diego, California, USA, October 5-7, 1992 : proceedings

Formal methods and software development : Proceedings of the [first] International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25 29, 1985 Colloquium on software engineering (CSE)

Fundamental approaches to software engineering : Second International Conference, FASE 99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

Model checking software : 9th International SPIN Workshop Grenoble, France, April 11 13, 2002 : 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