Kenneth McMillan - Böcker

Visar alla böcker från författaren Kenneth McMillan.
2 produkter
Kenneth McMillan, Kenneth L. McMillan, Kenneth L McMillan - Symbolic Model Checking, Inbunden

Symbolic Model Checking

Av Kenneth McMillan, Kenneth L. McMillan, Kenneth L McMillan

Inbunden, Engelska, 1993

1 139 kr

Skickas inom 7-10 vardagar
Kenneth McMillan, Xavier Rival - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

Av Kenneth McMillan, Xavier Rival

Häftad, Engelska, 2014

739 kr

Skickas inom 7-10 vardagar