Konferenzschrift | Kongress

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

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642358869
3642358861
Dimensions
24 cm
Extent
X, 356 S.
Language
Englisch
Notes
Ill., graph. Darst.
Literaturangaben

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

Keyword
Softwareentwicklung
Objektorientierung
Komponente
Formale Methode

Event
Veröffentlichung
(where)
Berlin, Heidelberg
(who)
Springer
(when)
2013
Contributor
Beckert, Bernhard
Damiani, Ferruccio
Boer, Frank S. de
Bonsangue, Marcello M.
FMCO (10 : 2011 : Turin)

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
08.09.2025, 1:52 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Object type

  • Konferenzschrift
  • Kongress

Associated

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

Time of origin

  • 2013

Other Objects (12)

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 : 9th international symposium ; revised papers

Konferenzschrift | Kongress

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

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 : third international symposium ; revised lectures

Konferenzschrift | Kongress

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

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 : 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 : 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

Discussing the Formal Components of Material Objects: A New Reply to Bennett

Discussing the Formal Components of Material Objects: A New Reply to Bennett

Graph drawing : 10th international symposium ; revised papers

Konferenzschrift | Kongress

Graph drawing : 10th international symposium ; revised papers

Related objects