Title |
Formal methods for open object based distributed systems : 8th IFIP WG 6.1 international conference ; proceedings / FMOODS 2006, Bologna, Italy, June 14 - 16, 2006. Roberto Gorrieri ... (ed.) |
|---|---|
Involved |
Roberto Gorrieri (Mitwirkender) |
Published |
Berlin, Heidelberg: Springer |
Extent |
Online-Ressource |
ISBN |
978-3-540-34895-5 |
Language |
|
Topic |
|
Subject |
Verteiltes System, Offenes Kommunikationssystem, Objektorientierung, Formale Methode, Kongress, Bologna <2006> |
Series |
|
Other editions |
Erscheint auch als Druck-Ausgabe: Formal methods for open object based distributed systems : 8th IFIP WG 6.1 international conference ; proceedings |
Persistent identifier |
urn:nbn:de:1111-200610092158 (URN) |
Further information |
Lizenzpflichtig |
Record ID |
981703151 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: