Formal methods for components and objects : first international symposium ; revised lectures

Konferenzschrift | Kongress

This book presents revised tutorial lectures given by invited speakers at the First International Symposium on Formal Methods for Components and Objects, FMCO 2002, held in Leiden, The Netherlands, in November 2002. The 21 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to complex software systems such as components and object systems. The book makes a unique contribution to bridging the gap between theory and practice in software engineering.

Angaben zum Objekt

• Standort: Deutsche Nationalbibliothek Frankfurt am Main
• ISBN: 9783540203032 ; 3540203036
• Maße: 24 cm
• Umfang: VIII, 507 S.
• Sprache: Englisch
• Anmerkungen: graph. Darst. ; Literaturangaben

Verweise und Beziehungen

• Erschienen in: Lecture notes in computer science ; Vol. 2852

Klassifikation und Themen

• Schlagwort: Softwareentwicklung ; Formale Methode ; Softwareentwicklung ; Objektorientierung ; Komponente ; Softwareentwicklung ; Formale Spezifikationstechnik

Beteiligte, Orts- und Zeitangaben

• Ereignis: Veröffentlichung
• (wo): Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo
• (wer): Springer
• (wann): 2003
• Beteiligte Personen und Organisationen: Boer, Frank S. de ; FMCO (1 : 2002 : Leiden)

Weitere Informationen

• Inhaltsverzeichnis: https://d-nb.info/968849024/04
• Rechteinformation: Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
• Letzte Aktualisierung: 11.06.2025, 13:33 MESZ