Katalog der Deutschen Nationalbibliothek

Neuigkeiten Geänderte Servicezeiten an der Information in Frankfurt am Main: Montag bis Freitag von 9–18 Uhr , Samstag von 10–16 Uhr // Changes to service hours at the Information desk in Frankfurt am Main: Monday to Friday: 9:00–18:00, Saturday: 10:00–16:00
 
 

Ergebnis der Suche nach: idn=967877342



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz http://d-nb.info/967877342
Art des Inhalts Hochschulschrift
Titel Software verification for programmable logic controllers / Ralf Huuck
Person(en) Huuck, Ralf (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 2003
Umfang/Format 188 S. : graph. Darst. ; 30 cm
Andere Ausgabe(n) Online-Ausg.: Huuck, Ralf: Software verification for programmable logic controllers
Hochschulschrift Kiel, Univ., Diss., 2003
Sprache(n) Englisch (eng)
Schlagwörter Speicherprogrammierte Steuerung ; Sequential Function Charts ; Semantik ; Verifikation ; Model Checking
Speicherprogrammierte Steuerung ; AWL <Programmiersprache> ; Semantik ; Verifikation ; Statische Analyse
Sachgruppe(n) 004 Informatik ; 620 Ingenieurwissenschaften und Maschinenbau

Frankfurt Signatur: H 2003 B 5274
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Frankfurt
Leipzig Signatur: H 2003 B 5274
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <


E-Mail-IconAdministration