E. Allen Emerson - Böcker

Visar alla böcker från författaren E. Allen Emerson.
2 produkter
E. Allen Emerson, Kedar S. Namjoshi - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

Av E. Allen Emerson, Kedar S. Namjoshi

Häftad, Engelska, 2005

739 kr

Skickas inom 10-15 vardagar
E. Allen Emerson, A. Prasad Sistla - Computer Aided Verification, Häftad
Del 1855 - Lecture Notes in Computer Science

Computer Aided Verification

Av E. Allen Emerson, A. Prasad Sistla

Häftad, Engelska, 2000

1 459 kr

Skickas inom 10-15 vardagar