Computer Aided Verification: 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings (Lecture Notes in Computer Science (697), Band 697)
von
Costas Courcoubetis
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-56922-0
ISBN-10: 3-540-56922-7
Springer
· 2008
