Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten 24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2026 bereitgestellt. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2026.
 
 

Ergebnis der Suche nach: "122239318"

Zurück zur Trefferliste


Treffer 3 von 36 < < > <



Artikel
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 3 von 36
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration