Konferenzschrift | Kongress

Formal methods for components and objects : 10th international symposium ; revised selected papers

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642358869
3642358861
Maße
24 cm
Umfang
X, 356 S.
Sprache
Englisch
Anmerkungen
Ill., graph. Darst.
Literaturangaben

Erschienen in
Lecture notes in computer science ; 7542 : State-of-the-art-survey

Schlagwort
Softwareentwicklung
Objektorientierung
Komponente
Formale Methode

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg
(wer)
Springer
(wann)
2013
Beteiligte Personen und Organisationen
Beckert, Bernhard
Damiani, Ferruccio
Boer, Frank S. de
Bonsangue, Marcello M.
FMCO (10 : 2011 : Turin)

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 13:52 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Objekttyp

  • Konferenzschrift
  • Kongress

Beteiligte

  • Beckert, Bernhard
  • Damiani, Ferruccio
  • Boer, Frank S. de
  • Bonsangue, Marcello M.
  • FMCO (10 : 2011 : Turin)
  • Springer

Entstanden

  • 2013

Ähnliche Objekte (12)

Formal methods for components and objects : 9th international symposium ; revised papers

Konferenzschrift | Kongress

Formal methods for components and objects : 9th international symposium ; revised papers

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

Konferenzschrift | Kongress

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

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

Konferenzschrift | Kongress

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

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

Konferenzschrift | Kongress

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

Formal methods for components and objects : 6th international symposium : revised papers

Konferenzschrift | Kongress | Kongress <2007>

Formal methods for components and objects : 6th international symposium : revised papers

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

Konferenzschrift | Kongress

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

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

Konferenzschrift | Kongress | Kongress <2006>

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

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

Konferenzschrift | Kongress | Kongress <2008>

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

Formal methods for components and objects : 8th international symposium ; revised selected papers

Konferenzschrift | Kongress

Formal methods for components and objects : 8th international symposium ; revised selected papers

Objects, components, architectures, services, and applications for a networked world : revised papers

Konferenzschrift | Kongress

Objects, components, architectures, services, and applications for a networked world : revised papers

Graph drawing : 10th international symposium ; revised papers

Konferenzschrift | Kongress

Graph drawing : 10th international symposium ; revised papers

Formal techniques for distributed objects, components, and systems : 34th IFIP WG 6.1 international conference ; proceedings

Konferenzschrift | Kongress

Formal techniques for distributed objects, components, and systems : 34th IFIP WG 6.1 international conference ; proceedings

Verbundene Objekte