Abstraction, Refinement and Proof for Probabilistic Systems

Full text!
Type:
e-book
Titel:
Abstraction, Refinement and Proof for Probabilistic Systems
Auteur:
McIver, Annabelle; Morgan, Caroll; Morgan, Carroll; Morgan, Charles C.; Morgan, Charles Carroll
Taal:
Engels
Uitgever:
Springer New York 2005
ISBN:
0-387-40115-6
1-4419-2312-8
9786610263554
1-280-26355-5
0-387-27006-X
Onderwerp:
Information Technology Computer Science (Hardware & Networks)
Permalink:
http://bibtest.howest.be/catalog/ebk03:1000000000228069