Cărți de E. Allen Emerson

Computer Aided Verification: 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings

Lecture Notes in Computer Science, nr. 1855

Editat de E. Allen Emerson et al.

28 iun 2000

Preț: 634^.94 lei 793^.68 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation

Editat de E. Allen Emerson et al.

19 dec 2005

Preț: 330^.36 lei 412^.95 lei

6-8 săpt.

-20%