Katalog der Deutschen Nationalbibliothek

Expertensuche ?

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.

Vom 10. September 2025, 13 Uhr, bis 11. September 2025, 22 Uhr, kann es zu Einschränkungen bei der Bereitstellung von Medienwerken kommen. Wir informieren Sie per E-Mail über den aktuellen Stand Ihrer Bestellungen. // From 13:00 on 10 September 2025 until 22:00 on 11 September 2025, there may be restrictions on the provision of media works. We will inform you by email about the current status of your orders.

Ergebnis der Suche nach: dcs=004* or dcs=005* or dcs=006*

Zurück zur Trefferliste

Treffer 21009 von 21704


Link zu diesem Datensatz	https://d-nb.info/964357100
Art des Inhalts	Hochschulschrift
Titel	A uniform constraint-based framework for the verification of infinite state systems / von Supratik Mukhopadhyay
Person(en)	Mukhopadhyay, Supratik (Verfasser)
Zeitliche Einordnung	Erscheinungsdatum: 2000
Umfang/Format	XVIII, 160 S. : Ill., graph. Darst. ; 30 cm
Andere Ausgabe(n)	Erscheint auch als Online-Ausgabe: A uniform constraint-based framework for the verification of infinite state systems
Hochschulschrift	Saarbrücken, Univ., Diss., 2001
Sprache(n)	Englisch (eng)
Schlagwörter	Unendlicher Zustandsraum ; Verifikation ; Computerunterstütztes Verfahren ; Constraint-Erfüllung
DDC-Notation	004.0151 [DDC22ger]
Sachgruppe(n)	28 Informatik, Datenverarbeitung
Weiterführende Informationen	Inhaltsverzeichnis

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

Treffer 21009 von 21704

Aktionen

MARC21-XML-Repräsentation dieses Datensatzes

Korrekturanfrage

Administration