Konferenzschrift | Kongress

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

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540291312
3540291318
Dimensions
24 cm
Extent
VIII, 323 S.
Language
Englisch
Notes
graph. Darst.
Literaturangaben

Bibliographic citation
Lecture notes in computer science ; Vol. 3657 : Tutorial

Classification
Informatik
Keyword
Softwareentwicklung
Formale Methode
Softwareentwicklung
Objektorientierung
Komponente
Softwareentwicklung
Formale Spezifikationstechnik

Event
Veröffentlichung
(where)
Berlin, Heidelberg, New York
(who)
Springer
(when)
2005
Contributor
Boer, Frank S. de
FMCO (3 : 2004 : Leiden)

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

Data provider

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

Object type

  • Konferenzschrift
  • Kongress

Associated

  • Boer, Frank S. de
  • FMCO (3 : 2004 : Leiden)
  • Springer

Time of origin

  • 2005

Other Objects (12)

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

Lectures on information retrieval : third European summer school ; revised lectures

Konferenzschrift | Kongress

Lectures on information retrieval : third European summer school ; revised lectures

Advanced functional programming : third international school ; revised lectures

Konferenzschrift | Kongress

Advanced functional programming : third international school ; 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

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

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

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

Konferenzschrift | Kongress

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

Related objects