Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

eingeschränkt auf
- Materialarten:	Bücher

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

Noch nicht die passende Literatur gefunden? → Book a Librarian

Ergebnis der Suche nach: tit all "On the mechanized validation of infinite-state and parameterized reactive and mobile systems"

Treffer 1 von 1


Link zu diesem Datensatz	https://d-nb.info/96161630X
Art des Inhalts	Hochschulschrift
Titel	On the mechanized validation of infinite-state and parameterized reactive and mobile systems / Christine Röckl
Person(en)	Röckl, Christine (Verfasser)
Zeitliche Einordnung	Erscheinungsdatum: 2001
Umfang/Format	VIII, 122 S. : graph. Darst. ; 21 cm
Andere Ausgabe(n)	Erscheint auch als Online-Ausgabe: Röckl, Christine: On the mechanized validation of infinite-state and parameterized reactive and mobile systems
Hochschulschrift	München, Techn. Univ., Diss., 2001
Sprache(n)	Englisch (eng)
Schlagwörter	Reaktives System ; Unendlicher Zustandsraum ; Isabelle <Programm> ; HOL ; CCS ; Pi-Kalkül
Sachgruppe(n)	28 Informatik, Datenverarbeitung

Frankfurt	Signatur: H 2001 A 2275 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt
Leipzig	Signatur: H 2001 A 2275 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig

Treffer 1 von 1

Aktionen

MARC21-XML-Repräsentation dieses Datensatzes

Korrekturanfrage