Kolyang Dina Taiwe

January 1, 1965

HOL-Z, an integrated formal support environment for Z in Isabelle/HOL

Kolyang Dina Taiwe

Sold out

Kolyang Dina Taiwe HOL-Z, an integrated formal support environment for Z in Isabelle/HOL

4.3

Information and communication technology in Cameroon

Kolyang Dina Taiwe

Sold out

Kolyang Dina Taiwe Information and communication technology in Cameroon

4.3