Katalog der Deutschen Nationalbibliothek

Neuigkeiten Aufgrund von Baumaßnahmen ist die Deutsche Nationalbibliothek in Frankfurt am Main vom 28. Oktober bis 9. November 2024 geschlossen.
Due to construction work, the German National Library in Frankfurt am Main will be closed from 28 October to 9 November 2024.
 
 

Ergebnis der Suche nach: tit all "Algebraic implementations in an integrated software development and verification system."



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/861000331
Art des Inhalts Hochschulschrift
Titel Algebraic implementations in an integrated software development and verification system
Person(en) Beierle, Christoph (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 1986
Umfang/Format V, 351 S. : graph. Darst. ; 21 cm
Hochschulschrift Kaiserslautern, Univ., Diss., 1985
Schlagwörter Software / algebraische Implementierungen in e. integriertes ̃entwicklungs- u. Verifikationssystem
Sachgruppe(n) 28 Informatik, Datenverarbeitung ; 0300 Mathematik, Physik, Astronomie
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: H 86/4264
Bereitstellung in Frankfurt
Leipzig Signatur: Di 1986 A 3798
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration