Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Software engineering and formal methods."
Treffer 44 von 98
|
|
| Link zu diesem Datensatz | https://d-nb.info/1079334610 |
| 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 |
| Person(en) |
De Nicola, Rocco (Herausgeber) Calinescu, Radu (Herausgeber) Rumpe, Bernhard (Herausgeber) |
| Organisation(en) | Springer International Publishing (Verlag) |
| Ausgabe | 1st ed. 2015 |
| Verlag | Cham : Springer International Publishing - Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 2016 |
| Umfang/Format | 0 cm x 0 cm, 0 g |
| Andere Ausgabe(n) |
Erscheint auch als Online-Ausgabe: ISBN: 9783319284699 Erscheint auch als Online-Ausgabe: Software Engineering and Formal Methods |
| URL | http://www.springer.com/ (Verlag) |
| ISBN/Einband/Preis |
978-3-319-28468-2 Book. : 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-319-28468-1 |
| Bestellnummer(n) | 978-3-319-28468-2 |
| EAN | 9783319284682 |
| Sprache(n) | Englisch (eng) |
| Beziehungen |
Lecture Notes in Computer Science ; 9509 Programming and Software Engineering |
| Sachgruppe(n) | 004 Informatik |
| Weiterführende Informationen | Inhaltstext |
| Frankfurt | Verlagsinformation |
| Leipzig |
Bestand: [Gehoert eindeutig nicht zum Sammelgebiet der Deutschen Nationalbibliothek]
Verlagsinformation |
Treffer 44 von 98
Administration
