Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
Editat de Rajeev Alur et al.
17 iul 1996
Paperback
Preț: 341.95 lei 427.44 lei
6-8 săpt.
-20%
Cărți de Thomas Henzinger