Byron Cook - Böcker

Visar alla böcker från författaren Byron Cook.

3 produkter

Kategorier

3 produkter

Verification, Model Checking, and Abstract Interpretation

8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

Av Byron Cook, Andreas Podelski

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar

Formal Methods for Industrial Critical Systems

14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings

Av María Alpuente, Byron Cook m. fl

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Av Tayssir Touili, Byron Cook m. fl

Häftad, Engelska, 2010

1 439 kr

Skickas inom 10-15 vardagar