- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540256977
3540256970
- Dimensions
-
24 cm
- Extent
-
VI, 270 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 3465 : Tutorial
- Classification
-
Informatik
- Keyword
-
Mobile Computing
Formale Methode
Mobile Computing
Verteilte Programmierung
Mobile Computing
Systementwurf
Formale Methode
Mobile Computing
Softwareentwicklung
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York
- (who)
-
Springer
- (when)
-
2005
- Contributor
-
Bernardo, Marco
International School on Formal Methods for the Design of Computer, Communication, and Software Systems (5 : 2005 : Bertinoro)
- 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, 1:43 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Bernardo, Marco
- International School on Formal Methods for the Design of Computer, Communication, and Software Systems (5 : 2005 : Bertinoro)
- Springer
Time of origin
- 2005
Other Objects (12)
Formal methods : proceedings
Formal methods : proceedings
Formal methods : proceedings
Formal methods : proceedings
Mobile, ubiquitous, and intelligent computing
Distributed computing : mobile and wireless computing ; 4th international workshop ; proceedings
Industrial strength formal methods : proceedings
Formal aspects of computing : applicable formal methods
Formal methods : second world congress ; proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods - getting IT right : proceedings
Formal methods : proceedings
Formal methods : proceedings
Formal methods : proceedings
Formal methods : proceedings
Mobile, ubiquitous, and intelligent computing
Distributed computing : mobile and wireless computing ; 4th international workshop ; proceedings
Industrial strength formal methods : proceedings
Formal aspects of computing : applicable formal methods
Formal methods : second world congress ; proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods - getting IT right : proceedings
Formal methods : proceedings
Formal methods : proceedings
Formal methods : proceedings
Formal methods : proceedings
Mobile, ubiquitous, and intelligent computing
Distributed computing : mobile and wireless computing ; 4th international workshop ; proceedings
Industrial strength formal methods : proceedings
Formal aspects of computing : applicable formal methods
Formal methods : second world congress ; proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings