Hoppa till sidans huvudinnehåll

Byron Cook – författare

Visar alla böcker från författaren .
3 produkter
Byron Cook, Andreas Podelski - Verification, Model Checking, and Abstract Interpretation, Häftad

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

María Alpuente, Byron Cook, Christophe Joubert - Formal Methods for Industrial Critical Systems, Häftad

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

Tayssir Touili, Byron Cook, Paul Jackson - Computer Aided Verification, Häftad

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 439 kr

Skickas inom 10-15 vardagar