Computer Aided Verification: 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings
Editat de Costas Courcoubetis
16 iun 1993
Paperback
Preț: 341.10 lei 426.37 lei
6-8 săpt.
-20%
Cărți de Costas Courcoubetis