Abstraction, refinement and proof for probabilistic systems

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	McIver, Annabelle (VerfasserIn), Morgan, Carroll (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	New York Springer 2005
Schriftenreihe:	Monographs in computer science
Schlagworte:	Technische Mathematik Wahrscheinlichkeit Systemanalyse
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge