Drucken
Versenden
Speichern
Permalink
LesezeichendiensteNichts oder nicht das Richtige gefunden?
- Frage an die Bibliothek
- Fernleih-Formular aufrufen (leeres Formular, Anmeldung erforderlich)
Katalog der UB Augsburg (1/1)
Formal techniques for distributed objects, components, and systems
42nd IFIP WG 6.1 International Conference, FORTE 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, proceedings Autor/Mitarbeiter: Mousavi, Mohammad Reza , Philippou, Anna
Verlagsort, Verlag, Jahr: Cham, Switzerland, Springer, [2022]
Umfang: 1 Online-Ressource (xiv, 209 Seiten)
ISBN: 9783031086793
Schlagwörter: Software Engineering , Künstliche Intelligenz , Mathematische Logik
Inhaltstyp/Datenträger: Konferenzschrift
Reihe/Zeitschrift : Lecture notes in computer science : Alle Einzelbände
| Autor/Mitarbeiter: | Mousavi, Mohammad Reza |
|---|---|
| Autor/Mitarbeiter: | Philippou, Anna |
| Titel: | Formal techniques for distributed objects, components, and systems |
| Titelzusatz: | 42nd IFIP WG 6.1 International Conference, FORTE 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, proceedings |
| Erläuterung: | Verlag |
| von: | Mohammad Reza Mousavi, Anna Philippou (eds.) |
| Institution: | FORTE (2022, Lucca) |
| ...: | Sonstige |
| Verlagsort: | Cham, Switzerland |
| Verlag: | Springer |
| Jahr: | [2022] |
| Umfang: | 1 Online-Ressource (xiv, 209 Seiten) |
| Enthält: |
52 Illustrationen, 28 in Farbe |
| Reihe: | Lecture notes in computer science |
| Band: | 13273 |
| Volltext E-Book: | https://doi.org/10.1007/978-3-031-08679-3 |
| Andere Ausgabe: | Erscheint auch als |
| Andere Ausgabe: | Erscheint auch als |
| ...: | Druck-Ausgabe |
| ...: | Druck-Ausgabe |
| mit der ISBN: | 978-3-031-08678-6 |
| mit der ISBN: | 978-3-031-08680-9 |
| ISBN: | 9783031086793 |
| Schlagwörter |
Software Engineering
;
Künstliche Intelligenz
;
Mathematische Logik
|
| Inhaltstyp/Datenträger: | Konferenzschrift |
| _Zeit / Datum: | 2022 |
| _Veranstaltungsort: | Lucca |
| Subject: | Software engineering Computer engineering Computer networks Computer science Artificial intelligence |
| RVK-Notation: | |
| Hauptsprache: | Englisch |
| Land: | |||a|| |o|||||||| |
| Volltext : | https://doi.org/10.1007/978-3-031-08679-3 |
| B3Kat-ID: | BV048307135 |
