booktheque

E. Allen Emerson

2 ספרים במאגר

ספרים

Computer aided verification
E. Allen Emerson · 2000
Computer Aided Verification
E. Allen Emerson · 2006