Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Abstraction, refinement and pr...
  • Bestand

Treffer: Abstraction, refinement and proof for probabilistic systems

Titel:
Abstraction, refinement and proof for probabilistic systems / Annabelle McIver ; Carroll Morgan
Beteiligt:
McIver, Annabelle ; Morgan, Carroll 
Veröffent­licht:
New York : Springer, 2005
Umfang:
XIX, 383 S.
Format:
Buch
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Monographs in computer science
RVK-Notation:
ST 134 ST 230
ISBN:
0387401156

Zusatz-Informationen

Zusatz-Funktionen