Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Software engineering and formal methods."
Treffer 51 von 66
|
|
| Link zu diesem Datensatz | https://d-nb.info/985928255 |
| Art des Inhalts | Konferenzschrift, 2007, Boca Raton (Fla.) |
| Titel | Formal methods and software engineering : proceedings / 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14 - 15, 2007. Michael Butler ... (ed.) |
| Person(en) | Butler, Michael (Herausgeber) |
| Organisation(en) | International Conference on Formal Engineering Methods (9 : 2007 : Boca Raton, Fla.) (Herausgebendes Organ) |
| Verlag | Berlin ; Heidelberg ; New York, NY : Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 2007 |
| Umfang/Format | X, 386 S. : graph. Darst. ; 24 cm |
| ISBN/Einband/Preis |
978-3-540-76648-3 kart. : EUR 55.64 (freier Pr.), ca. sfr 91.00 (freier Pr.) 3-540-76648-0 kart. : EUR 55.64 (freier Pr.), ca. sfr 91.00 (freier Pr.) |
| Bestellnummer(n) | 12187614 |
| EAN | 9783540766483 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Lecture notes in computer science ; Vol. 4789 |
| Anmerkungen | Literaturangaben |
| Schlagwörter |
Softwareentwicklung ; Formale Methode ; Kongress ; Boca Raton Softwaretest ; Formale Methode ; Kongress ; Boca Raton Softwareentwicklung ; Verifikation ; Formale Methode ; Kongress ; Boca Raton Programmanalyse ; Model Checking ; Kongress ; Boca Raton Systementwicklung ; Zuverlässigkeit ; Fehlertoleranz ; Kongress ; Boca Raton |
| DDC-Notation | 005.1 [DDC22ger] |
| Sachgruppe(n) | 004 Informatik |
| Frankfurt |
Signatur: 2008 A 19139
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2008 A 24434
Bereitstellung in Leipzig |
Treffer 51 von 66
Administration
