Kenneth McMillan - Böcker

Visar alla böcker från författaren Kenneth McMillan.

2 produkter

Kategorier

2 produkter

Symbolic Model Checking

Av Kenneth McMillan, Kenneth L. McMillan m. fl

Inbunden, Engelska, 1993

1 129 kr

Skickas inom 10-15 vardagar

Verification, Model Checking, and Abstract Interpretation

15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Av Kenneth McMillan, Xavier Rival m. fl

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar