Yazar
O'Regan, Gerard. author.
Format:
Electronic Resources
Alıntı:
-- Matrix Theory -- Graph Theory -- Cryptography -- Coding Theory -- Language Theory and Semantics
View Other Search Results
Yazar
O'Regan, Gerard. author.
Format:
Electronic Resources
Alıntı:
language (UML) Discusses Dijkstra’s calculus of weakest preconditions, Hoare’s axiomatic semantics of
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: