Monografie
Formal methods for components and objects : 10th international symposium ; revised selected papers
- Sprache
-
Englisch
- Umfang
-
X, 356 S.
- ISBN
-
978-3-642-35886-9
- Identifier
-
102841885X
- Reihe
-
Lecture notes in computer science; 7542 : State-of-the-art-survey
Thema
Softwareentwicklung ; Objektorientierung ; Komponente ; Formale Methode ; Konferenzschrift Turin; Kongress Turin <2011>
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:53 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Monografie
Beteiligte
- Beckert, Bernhard
- Damiani, Ferruccio
- Boer, Frank S. de
- Bonsangue, Marcello M.
Ähnliche Objekte (12)
Formal methods for components and objects : 8th international symposium ; revised selected papers
Formal methods for components and objects : 9th international symposium ; revised papers
Formal methods for components and objects : first international symposium ; revised lectures
Formal methods for components and objects : 6th international symposium : revised papers
Formal methods for components and objects : 7th international symposium ; revised lectures
Formal methods for components and objects : 4th international symposium ; revised lectures
Formal methods for components and objects : third international symposium ; revised lectures
Formal methods for components and objects : 5th international symposium ; revised lectures
Formal methods for components and objects : 11th international symposium ; revised lectures
Software architectures, components and applications : revised selected papers
Formal methods: foundations and applications : revised selected papers
Formal methods : foundations and applications : revised selected papers
Formal methods for components and objects : 8th international symposium ; revised selected papers
Formal methods for components and objects : 9th international symposium ; revised papers
Formal methods for components and objects : first international symposium ; revised lectures
Formal methods for components and objects : 6th international symposium : revised papers
Formal methods for components and objects : 7th international symposium ; revised lectures
Formal methods for components and objects : 4th international symposium ; revised lectures
Formal methods for components and objects : third international symposium ; revised lectures
Formal methods for components and objects : 5th international symposium ; revised lectures
Formal methods for components and objects : 11th international symposium ; revised lectures
Software architectures, components and applications : revised selected papers
Formal methods: foundations and applications : revised selected papers
Formal methods : foundations and applications : revised selected papers
Formal methods for components and objects : 8th international symposium ; revised selected papers
Formal methods for components and objects : 9th international symposium ; revised papers
Formal methods for components and objects : first international symposium ; revised lectures
Formal methods for components and objects : 6th international symposium : revised papers
Formal methods for components and objects : 7th international symposium ; revised lectures
Formal methods for components and objects : 4th international symposium ; revised lectures
Formal methods for components and objects : third international symposium ; revised lectures
Formal methods for components and objects : 5th international symposium ; revised lectures
Formal methods for components and objects : 11th international symposium ; revised lectures
Software architectures, components and applications : revised selected papers
Formal methods: foundations and applications : revised selected papers