Hochschulschrift

Verification of modal properties using Boolean equation systems

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783929470581
3929470586
Maße
21 cm
Umfang
172 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Zugl.: München, Techn. Univ., Diss., 1997

Erschienen in
Edition Versal ; Bd. 8

Schlagwort
Programmverifikation
Modallogik
Logikkalkül
Boolesche Gleichung

Ereignis
Veröffentlichung
(wo)
Berlin
(wer)
Bertz
(wann)
1997
Urheber
Mader, Angelika

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 13:41 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift

Beteiligte

  • Mader, Angelika
  • Bertz

Entstanden

  • 1997

Ähnliche Objekte (12)

Kultserien und ihre Stars, Bd. 3.. Das Pflichtprogramm

Kultserien und ihre Stars, Bd. 3.. Das Pflichtprogramm

Kultserien und ihre Stars, [Bd. 1]. / Nebst einer "Vorbemerkung eines Serienhelden" von Harry Rowohlt

Kultserien und ihre Stars, [Bd. 1]. / Nebst einer "Vorbemerkung eines Serienhelden" von Harry Rowohlt

Kultserien und ihre Stars, [Bd. 1]

Kultserien und ihre Stars, [Bd. 1]

Kultserien und ihre Stars, Bd. 2.. Fortsetzung folgt ...

Kultserien und ihre Stars, Bd. 2.. Fortsetzung folgt ...

Event detection in active databases

Hochschulschrift

Event detection in active databases

Petrinetzmodelle verteilter Algorithmen : Beweistechnik und Intuition

Hochschulschrift

Petrinetzmodelle verteilter Algorithmen : Beweistechnik und Intuition

Julia Roberts

Buch

Julia Roberts

Natalie Portman

Buch

Natalie Portman

Angelina Jolie

Buch

Angelina Jolie

Drew Barrymore

Buch

Drew Barrymore

Cameron Diaz

Buch

Cameron Diaz

Angelina Jolie

Buch

Angelina Jolie

Verbundene Objekte