Verifying temporal properties of systems

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783764336257
3764336250
9780817636258
0817636250
Maße
24 cm
Umfang
VI, 113 S.
Sprache
Englisch
Anmerkungen
Literaturverz. S. 105 - 109

Erschienen in
Progress in theoretical computer science ; 6

Schlagwort
Unendlichdimensionales System
Nebenläufigkeit
Verifikation
Temporale Logik

Ereignis
Veröffentlichung
(wo)
Boston, Basel, Berlin
(wer)
Birkhäuser
(wann)
1992
Urheber

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.03.2025, 11:55 MEZ

Datenpartner

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

Beteiligte

Entstanden

  • 1992

Ähnliche Objekte (12)