Formal methods for open object-based distributed systems 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4 - 6, 2008 ; proceedings Gilles Barthe; Frank S. de Boer (eds.)
Materialtyp:
TextSprache: Englisch Reihen: ; 505100 | Lecture notes in computer science ; 5051Verlag: Berlin Heidelberg [u.a.] Springer 2008Beschreibung: X, 258 S. graph. DarstInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 3540688625
- 9783540688624
- Electronic data processing -- Distributed processing -- Congresses
- Object-oriented programming (Computer science) -- Congresses
- Formale Methode
- Formale Methode
- Komponente <Software>
- Objektorientierte Programmierung
- Objektorientierung
- Serviceorientierte Architektur
- Verteilte Programmierung
- Verteiltes System
- Verteiltes System
- Serviceorientierte Architektur
- Objektorientierung
- Formale Methode
- Komponente Software
- Objektorientierte Programmierung
- Verteilte Programmierung
- Formale Methode
- QA76.9.D5
- SS 4800
- *68-06
- 68M14
- 00B25
- 54.50
- 54.32
- 54.10
- 3
- Archivierung/Langzeitarchivierung gewährleistet PEBW
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | |
|---|---|---|---|---|---|---|---|---|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Series (GF) | LNCS 5051 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000249766 |
Literaturangaben
Formal Methods for Open Object-Based Distributed Systems
Formal methods for open object-based distributed systems
Archivierung prüfen 20200919 DE-640 3 pdager
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31