Abstraction, refinement and proof for probabilistic systems
2004 • 398 sayfa
Yazan Annabelle McIver, Charles C. Morgan
0
0
Bu cilt için açıklama henüz yok.
Raf ilerlemesi
Abstraction, refinement and proof for probabilistic systems
Annabelle McIver, Charles C. Morgan
0%0 / 398 sf
—
Tüm yorumlar
0Bu cilt için henüz görünür yorum yok.
Puanın