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: dcs=005*

Zurück zur Trefferliste


Treffer 1175 von 1709 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/990567265
Art des Inhalts Hochschulschrift
Titel A framework for formal representation and transformational optimisation of executable specifications / Thomas Meyer
Person(en) Meyer, Thomas (Verfasser)
Verlag Berlin : Logos-Verl.
Zeitliche Einordnung Erscheinungsdatum: 2008
Umfang/Format 215 S. : graph. Darst. ; 21 cm
Hochschulschrift Zugl.: Bremen, Univ., Diss., 2005
ISBN/Einband/Preis 978-3-8325-1562-1 kart. : EUR 40.50 (DE), EUR 41.60 (AT), sfr 72.10 (freier Pr.)
EAN 9783832515621
Sprache(n) Englisch (eng)
Beziehungen Bremer Institut für Sichere Systeme: BISS monographs ; 21
Schlagwörter HOL ; Isabelle <Programm> ; Formale Semantik ; Codegenerierung ; Spezifikationstechnik ; Framework <Informatik>
DDC-Notation 005.131 [DDC22ger]; 005.45 [DDC22ger]
Sachgruppe(n) 004 Informatik
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: 2008 A 77686
Bereitstellung in Frankfurt
Leipzig Signatur: 2008 A 106624
Bereitstellung in Leipzig




Treffer 1175 von 1709
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration