Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.
 
 

Ergebnis der Suche nach: tit all "Software engineering and formal methods."

Zurück zur Trefferliste


Treffer 45 von 48 < < > <



Online Ressourcen
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 45 von 48
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration