Paperback Bog

På lager hos iMusic

Vis udgåede udgivelser

Udgivelser med Costas Courcoubetis

Cover for Costas Courcoubetis · Computer Aided Verification: 5th International Conference, Cav'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings (International Conference, Cav '93, Elounda, Greece, June 28-july 1, 1993 - Proceedings) - Lecture Notes in Computer Science (Paperback Bog) (1993)
Paperback Bog
Computer Aided Verification: 5th...
Costas Courcoubetis