Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Software engineering and formal methods."
Treffer 94 von 98
|
|
| Link zu diesem Datensatz | https://d-nb.info/101772279X |
| 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 |
| Person(en) | Alagar, Vangalur S. (Herausgeber) |
| Organisation(en) | Workshop on Formal Methods in Databases and Software Engineering (1992 : Montréal) (Herausgebendes Organ) |
| Verlag | London : Springer London |
| Zeitliche Einordnung | Erscheinungsdatum: 1993 |
| Umfang/Format | Online-Ressource |
| Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Formal methods in databases and software engineering |
| Persistent Identifier |
URN: urn:nbn:de:1111-201112061721 DOI: 10.1007/978-1-4471-3213-4 |
| URL | https://link.springer.com/book/10.1007/978-1-4471-3213-4 (Verlag) |
| ISBN/Einband/Preis | 978-1-447-13213-4 |
| EAN | 9781447132134 |
| Anmerkungen | Lizenzpflichtig |
| Schlagwörter |
Datenbank ; Formale Spezifikationstechnik ; Kongress ; Montreal <1992> Software Engineering ; Formale Spezifikationstechnik ; Kongress ; Montreal <1992> |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 94 von 98
Administration
