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

Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions a...

Fuld beskrivelse

Bibliografiske detaljer

Institution som forfatter:	FMCO 2002 :Leiden, The Netherlands
Andre forfattere:	Boer, Frank S. De (Directeur de la publication), Bonsangue, Marcello M. (Directeur de la publication), Graf, Susanne, 19..-...., auteure en informatique (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 2852
Fag:	Génie logiciel Informatique Langages de programmation Systèmes d'exploitation (ordinateurs) Composants logiciels Programmation orientée objets (informatique) Programmation système (informatique) Actes de congrès
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:	• Formal methods for components and objects, First international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, revised lectures, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf...[et al.] (eds.), Berlin, Springer, 2003, 1 vol. (VIII-507 p.), Lecture notes in computer science, 3-540-20303-6 • Formal Methods for Components and Objects, Texte imprimé, 9783662210291