Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Preface."
Treffer 188 von 5752
|
|
| Link zu diesem Datensatz | https://d-nb.info/1344582168 |
| Titel | Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021 / by Aws Albarghouthi, Rustan Leino, Alexandra Silva, Caterina Urban |
| Person(en) |
Albarghouthi, Aws (Verfasser) Leino, Rustan (Verfasser) Silva, Alexandra (Verfasser) Urban, Caterina (Verfasser) |
| Organisation(en) | SpringerLink (Online service) (Sonstige) |
| Umfang/Format | 1 Online-Ressource. |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2410102113208.448106450794 DOI: 10.1007/s10703-024-00459-w |
| URL | https://doi.org/10.1007/s10703-024-00459-w |
| Zeitliche Einordnung | Erscheinungsdatum: 2024 |
| DDC-Notation | 004.2 (maschinell ermittelte DDC-Kurznotation) |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Enthalten in: Formal methods in system design (25.7.2024: 1-4) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 188 von 5752
Administration
