Author books / Книги автора Colin Sterling (auth.) Kim G. Larsen Arne Skou (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Colin Sterling (auth.) Kim G. Larsen Arne Skou (eds.)

book Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings

Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings

djvu

Author: Colin Sterling (auth.) Kim G. Larsen Arne Skou (eds.)
Language: English
Year: 1992

00

26.01.2024

0

0