Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Samstag, 25. April 2026, ist die Deutschen Nationalbibliothek in Frankfurt am Main aufgrund von Wartungsarbeiten geschlossen.
Due to maintenance work the German National Library in Frankfurt will be closed on Saturday, 25 April 2026.
 
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: idn=952678381



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/952678381
Art des Inhalts Hochschulschrift
Titel Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen / Robi Malik
Person(en) Malik, Robi (Verfasser)
Ausgabe Als Ms. gedr.
Verlag Aachen : Shaker
Zeitliche Einordnung Erscheinungsdatum: 1998
Umfang/Format 220 S. : graph. Darst. ; 21 cm
Hochschulschrift Zugl.: Kaiserslautern, Univ., Diss., 1997
ISBN/Einband/Preis 978-3-8265-3383-9 kart. : DM 98.00
3-8265-3383-6 kart. : DM 98.00
Beziehungen Berichte aus der Informatik
Schlagwörter Dialogsystem ; Steuerungssystem ; Formale Spezifikationstechnik ; Temporale Logik ; Logische Programmierung ; Programmsynthese
Sachgruppe(n) 28 Informatik, Datenverarbeitung
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: 1998 A 12885
Bereitstellung in Frankfurt
Leipzig Signatur: 1998 A 12885
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration