Yazar
O'Regan, Gerard. author.
Format:
Electronic Resources
Alıntı:
, including the Z specification language Investigates probability and statistics, covering discrete random
View Other Search Results
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
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: