Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
Editat de Warren A. Hunt, Jr. et al.
27 iun 2003
Paperback
Preț: 334.60 lei 418.26 lei
6-8 săpt.
-20%
Cărți de Warren A. Hunt, Jr.