Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
 

Ergebnis der Suche nach: tit all "Software engineering and formal methods."



Treffer 5 von 66 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1280695250
Art des Inhalts Konferenzschrift
Titel Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers
Ausgabe 1st edition 2023
Verlag Cham : Springer International Publishing
Zeitliche Einordnung Erscheinungsdatum: 2023
Umfang/Format Online-Ressource (pdf)
Persistent Identifier URN: urn:nbn:de:101:1-2023021103075007255743
DOI: 10.1007/978-3-031-26236-4
URL https://link.springer.com/book/10.1007/978-3-031-26236-4 (Verlag)
ISBN/Einband/Preis 978-3-031-26236-4
EAN 9783031262364
Sprache(n) Englisch (eng)
Beziehungen Lecture Notes in Computer Science
DDC-Notation 005.1 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 5 von 66
< < > <


E-Mail-IconAdministration