Monografie
Formal methods for components and objects : 8th international symposium ; revised selected papers
- Sprache
-
Englisch
- Umfang
-
X, 337 S.
- ISBN
-
978-3-642-17070-6
- Identifier
-
1007492961
- Reihe
-
Lecture notes in computer science; 6286 ; State of the art survey
- Thema
-
Softwareentwicklung ; Objektorientierung ; Komponente ; Formale Methode ; Konferenzschrift Eindhoven; Kongress Eindhoven <2009>
- Beteiligte Personen und Organisationen
-
Boer, Frank S. de
Bonsangue, Marcello M.
Hallerstede, Stefan
Leuschel, Michael
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:49 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
- Boer, Frank S. de
- Bonsangue, Marcello M.
- Hallerstede, Stefan
- Leuschel, Michael
Ähnliche Objekte (12)
Formal methods for components and objects : 10th 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 : 10th 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 : 10th 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