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 42 von 98 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1104369524
Titel Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Person(en) De Nicola, Rocco (Herausgeber)
Kühn, Eva (Herausgeber)
Organisation(en) Springer International Publishing (Verlag)
Ausgabe 1st ed. 2016
Verlag Cham : Springer International Publishing
Zeitliche Einordnung Erscheinungsdatum: 2016
Umfang/Format Online-Ressource (pdf)
Andere Ausgabe(n) Erscheint auch als Druck-Ausgabe: Software Engineering and Formal Methods
Persistent Identifier URN: urn:nbn:de:1111-201606235906
DOI: 10.1007/978-3-319-41591-8
URL https://link.springer.com/book/10.1007/978-3-319-41591-8 (Verlag)
ISBN/Einband/Preis 978-3-319-41591-8
EAN 9783319415918
Beziehungen Lecture Notes in Computer Science
Anmerkungen Lizenzpflichtig
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 42 von 98
< < > <


E-Mail-IconAdministration