Byron Cook - Böcker

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

Verification, Model Checking, and Abstract Interpretation

Av Byron Cook, Andreas Podelski

Häftad, Engelska, 2007

739 kr

Skickas inom 7-10 vardagar
María Alpuente, Byron Cook, Christophe Joubert, Byron Alpuente, María - Formal Methods for Industrial Critical Systems, Häftad

Formal Methods for Industrial Critical Systems

Av María Alpuente, Byron Cook, Christophe Joubert, Byron Alpuente, María

Häftad, Engelska, 2009

739 kr

Skickas inom 7-10 vardagar
Tayssir Touili, Byron Cook, Paul Jackson - Computer Aided Verification, Häftad

Computer Aided Verification

Av Tayssir Touili, Byron Cook, Paul Jackson

Häftad, Engelska, 2010

1 459 kr

Skickas inom 7-10 vardagar