Author books / Книги автора F. Erich Marschner (auth.) Orna Grumberg (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора F. Erich Marschner (auth.) Orna Grumberg (eds.)

book Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings

Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings

djvu

Author: F. Erich Marschner (auth.) Orna Grumberg (eds.)
Language: English
Year: 1997

00

26.01.2024

1

0