Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Software engineering and formal methods."
Treffer 1 von 18
|
|
| Link zu diesem Datensatz | https://d-nb.info/1079677917 |
| Art des Inhalts | Konferenzschrift, 2015, York |
| Titel | Software engineering and formal methods : SEFM 2015 collocated workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers / Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (eds.) |
| Person(en) |
Bianculli, Domenico (Herausgeber) Calinescu, Radu C. (Herausgeber) Rumpe, Bernhard (Herausgeber) |
| Organisation(en) |
SEFM (13. : 2015 : York) (Verfasser) Springer-Verlag GmbH (Verlag) |
| Ausgabe | [1st ed.] |
| Verlag | Berlin ; Heidelberg : Springer |
| Zeitliche Einordnung | Erscheinungsdatum: [2015] |
| Umfang/Format | XXIX, 323 Seiten : Illustrationen ; 24 cm |
| Andere Ausgabe(n) |
Erscheint auch als Online-Ausgabe: ISBN: 9783662492246 Erscheint auch als Online-Ausgabe: SEFM (13. : 2015 : York): Software Engineering and Formal Methods |
| ISBN/Einband/Preis |
978-3-662-49223-9 Broschur : ca. EUR 61.60 (AT) (freier Pr.), ca. sfr 61.50 (freier Pr.), ca. EUR 59.92 (DE) (freier Pr.), ca. EUR 59.08 (FR) (freier Pr.), ca. EUR 58.24 (IT) (freier Pr.), ca. EUR 59.36 (NL) (freier Pr.) 3-662-49223-7 |
| Bestellnummer(n) | 978-3-662-49223-9 |
| EAN | 9783662492239 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Lecture notes in computer science ; 9509 |
| Schlagwörter | Software Engineering ; Formale Methode ; Softwaretest ; Wissensmanagement ; Dienstekomposition ; Verifikation |
| DDC-Notation | 005.1 [DDC22ger]; 005.131 [DDC22ger] |
| Sachgruppe(n) | 004 Informatik |
| Weiterführende Informationen |
Inhaltstext Inhaltsverzeichnis |
| Frankfurt |
Signatur: 2016 A 18989 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2016 A 31533 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |
Treffer 1 von 18
Administration
