E. Allen Emerson - Böcker

Visar alla böcker från författaren E. Allen Emerson.

2 produkter

Kategorier

2 produkter

Verification, Model Checking, and Abstract Interpretation

7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings

Av E. Allen Emerson, Kedar S. Namjoshi

Häftad, Engelska, 2005

729 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings

Av E. Allen Emerson, A. Prasad Sistla

Häftad, Engelska, 2000

1 449 kr

Skickas inom 10-15 vardagar