Hoppa till sidans huvudinnehåll

Byron Cook – författare

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

Verification, Model Checking, and Abstract Interpretation

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

AvByron 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

AvMaría Alpuente,Byron Cookm. 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

AvTayssir Touili,Byron Cookm. fl.

Häftad, Engelska, 2010

1 449 kr

Skickas inom 10-15 vardagar