Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "122239318"
Treffer 1 von 7
|
|
| Link zu diesem Datensatz | https://d-nb.info/1209674491 |
| Art des Inhalts | Rezension |
| Titel | Gerard O’Regan: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications : Springer, 2017, XXVI+322 pp, ISBN: 978-3-319-64020-4 (Paperback, £ 49.99, €57.19), eISBN: 978-3-319-64021-1 (eBook, £ 39.99, €46.00). https://doi.org/10.1007/978-3-319-64021-1 / by Jonathan P. Bowen |
| Person(en) | Bowen, Jonathan P. (Verfasser) |
| Organisation(en) | SpringerLink (Online service) (Sonstige) |
| Umfang/Format | Online-Ressource : online resource. |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2020050703563327122820 DOI: 10.1007/s00165-020-00506-3 |
| URL | https://doi.org/10.1007/s00165-020-00506-3 |
| Zeitliche Einordnung | Erscheinungsdatum: 2020 |
| DDC-Notation | 510 (maschinell ermittelte DDC-Kurznotation) |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Enthalten in: Formal aspects of computing (5.2.2020: 1-2) |
| Sachgruppe(n) | 510 Mathematik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 1 von 7
Administration
