Drucken
Versenden
SpeichernNichts oder nicht das Richtige gefunden?
- Frage an die Bibliothek
- Fernleih-Formular aufrufen (leeres Formular, Anmeldung erforderlich)
Neuerwerbungsliste: Katalog der UB Augsburg
Formal Techniques for Distributed Objects, Components, and Systems
35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings Autor/Mitarbeiter: Graf, Susanne
Verlagsort, Verlag, Jahr: Cham, Springer International Publishing, 2015
Umfang: 1 Online-Ressource (XII, 245 p. 47 illus)
ISBN: 9783319191959 , 9783319191942
Schlagwörter: Verteiltes System , Formale Methode
Inhaltstyp/Datenträger: Konferenzschrift
Reihe/Zeitschrift : Lecture notes in computer science : Alle Einzelbände
| Autor/Mitarbeiter: | Graf, Susanne |
|---|---|
| Titel: | Formal Techniques for Distributed Objects, Components, and Systems |
| Titelzusatz: | 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings |
| URL : | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028025... |
| Erläuterung: | Verlag |
| von: | edited by Susanne Graf, Mahesh Viswanathan |
| Verlagsort: | Cham |
| Verlag: | Springer International Publishing |
| Jahr: | 2015 |
| Umfang: | 1 Online-Ressource (XII, 245 p. 47 illus) |
| Reihe: | Lecture notes in computer science |
| Band: | 9039 |
| ISBN: | 9783319191959 |
| ISBN: | 9783319191942 |
| Schlagwörter |
Verteiltes System
;
Formale Methode
|
| Inhaltstyp/Datenträger: | Konferenzschrift |
| Hauptsprache: | Englisch |
| Land: | |||||| |o|||||||| |
| Volltext : | https://doi.org/10.1007/978-3-319-19195-9 |
| URL Inhaltsverzeichnis: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028025... |
| B3Kat-ID: | BV042592324 |
