Hochschulschrift

Bisimulations and model refinement

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783863868369
Maße
22 cm, 429 g
Umfang
IX, 177 S.
Ausgabe
1. Aufl.
Sprache
Englisch
Anmerkungen
graph. Darst.
Hergestellt on demand
Zugl.: Augsburg, Univ., Diss., 2014

Schlagwort
Transitionssystem
Bisimulation
Verfeinerung
Graphmarkierung
Optimierungsproblem
Stochastisches Spiel
Algebraische Methode
Automatisches Beweisverfahren

Ereignis
Veröffentlichung
(wo)
Berlin
(wer)
Pro Business
(wann)
2015
Urheber

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

Datenpartner

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

Objekttyp

  • Hochschulschrift

Beteiligte

Entstanden

  • 2015

Ähnliche Objekte (12)