Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "122239318"
Treffer 4 von 36
|
|
| Link zu diesem Datensatz | https://d-nb.info/1375771914 |
| Art des Inhalts | Konferenzschrift |
| Titel | Engineering Trustworthy Software Systems : 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang |
| Person(en) |
Bowen, Jonathan P. (Herausgeber) Liu, Zhiming (Herausgeber) Zhang, Zili (Herausgeber) |
| Organisation(en) | SpringerLink (Online service) (Sonstige) |
| Ausgabe | 1st ed. 2019 |
| Verlag | Cham : Springer International Publishing, Imprint: Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 2019 |
| Umfang/Format | Online-Ressource, XVII, 237 p. 556 illus., 84 illus. in color. : online resource. |
| Andere Ausgabe(n) |
Printed edition:: ISBN: 978-3-030-17600-6 Printed edition:: ISBN: 978-3-030-17602-0 |
| Inhalt | An Introduction to Software Verification with Whiley -- Learning Büchi Automata and Its Applications -- Securing Emergent IoT Applications -- Programming Z3 -- The Impact of Alan Turing: Formal Methods and Beyond. |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2509070405319.484646131442 DOI: 10.1007/978-3-030-17601-3 |
| URL | https://doi.org/10.1007/978-3-030-17601-3 |
| ISBN/Einband/Preis | 978-3-030-17601-3 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Programming and Software Engineering ; 11430 |
| DDC-Notation | 005.101 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 4 von 36
Administration
