Abstraction, Refinement and Proof for Probabilistic Systems

Full text!
Format:
e-book
Title:
Abstraction, Refinement and Proof for Probabilistic Systems
Author:
McIver, Annabelle; Morgan, Caroll; Morgan, Carroll; Morgan, Charles C.; Morgan, Charles Carroll
Language:
English
Publisher:
Springer New York 2005
ISBN:
0-387-40115-6
1-4419-2312-8
9786610263554
1-280-26355-5
0-387-27006-X
Subject:
Information Technology Computer Science (Hardware & Networks)
Permalink:
http://bibtest.howest.be/catalog/ebk03:1000000000228069?locale=en