Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Software engineering and formal methods."
Treffer 1 von 2
|
|
| Link zu diesem Datensatz | https://d-nb.info/931584310 |
| Art des Inhalts | Konferenzschrift, 1992, Montreal |
| Titel | Formal methods in databases and software engineering : proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15 - 16 May 1992 / V. S. Alagar ... (ed.) Publ. in collab. with the British Computer Society |
| Person(en) | Alagar, Vangalur S. (Herausgeber) |
| Organisation(en) | Workshop on Formal Methods in Databases and Software Engineering (1992 : Montréal) (Herausgebendes Organ) |
| Verlag | London ; Berlin ; Heidelberg ; New York ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 1993 |
| Umfang/Format | VI, 191 S. ; 24 cm |
| Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: Formal Methods in Databases and Software Engineering |
| ISBN/Einband/Preis |
978-3-540-19812-3 (Berlin ...) kart. : DM 82.00 3-540-19812-1 (Berlin ...) kart. : DM 82.00 978-0-387-19812-5 (New York ...) kart. 0-387-19812-1 (New York ...) kart. |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Workshops in Computing |
| Anmerkungen |
Literaturangaben Status nach VGG: lieferbar |
| Schlagwörter |
Datenbank ; Formale Spezifikationstechnik ; Kongress ; Montreal <1992> Software Engineering ; Formale Spezifikationstechnik ; Kongress ; Montreal <1992> |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: 1993 A 11186 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 1993 A 11186 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |
Treffer 1 von 2
Administration
