2 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
00DEFAULTTR
Yazdır
Yazar 
O'Regan, Gerard. author.
Format: 
Electronic Resources
Alıntı: 
, including the Z specification language Investigates probability and statistics, covering discrete random
Yazar 
O'Regan, Gerard. author.
Format: 
Electronic Resources
Alıntı: 
automata theory, probability and statistics, model checking, and the nature of proof and theorem proving
Tümünü Seç
2 sonuç bulundu Arama sonuçlarına abone ol