Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: num all "3540762264"
Treffer 1 von 1
|
|
| Link zu diesem Datensatz | https://d-nb.info/954943325 |
| Art des Inhalts | Aufsatzsammlung |
| Titel | High integrity system specification and design / Jonathon P. Bowen and Michael G. Hinchey |
| Person(en) | Bowen, Jonathan P. (Herausgeber) |
| Verlag | London ; Berlin ; Tokyo ; Heidelberg ; New York ; Barcelona ; Hong Kong ; Milan ; Paris ; Santa Clara ; Singapore : Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 1999 |
| Umfang/Format | XIX, 701 S. : graph. Darst. ; 24 cm |
| ISBN/Einband/Preis |
978-3-540-76226-3 kart. : DM 195.00 3-540-76226-4 kart. : DM 195.00 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Formal approaches to computing and information technology |
| Anmerkungen | Literaturangaben |
| Schlagwörter |
Softwareentwicklung ; Softwarespezifikation ; Aufsatzsammlung Softwareentwicklung ; Formale Methode ; Aufsatzsammlung Echtzeitsystem ; Risiko ; Softwareentwicklung ; Formale Spezifikationstechnik ; Aufsatzsammlung |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: 1999 A 24960
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 1999 A 24960
Bereitstellung in Leipzig |
Treffer 1 von 1
Administration
