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 6 von 66 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1279466022
Titel Formal Methods and Software Engineering : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings
Ausgabe 1st edition 2022
Verlag Cham : Springer Nature Switzerland
Zeitliche Einordnung Erscheinungsdatum: 2022
Umfang/Format Online-Ressource (pdf)
Persistent Identifier URN: urn:nbn:de:101:1-2023012903081723216050
DOI: 10.1007/978-3-031-17244-1
URL https://link.springer.com/book/10.1007/978-3-031-17244-1 (Verlag)
ISBN/Einband/Preis 978-3-031-17244-1
EAN 9783031172441
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 6 von 66
< < > <


E-Mail-IconAdministration