Verification Decidability of Presburger Array Programs

Suzuki, Norihisa, Jefferson, David

Наскільки Вам сподобалась ця книга?

Яка якість завантаженого файлу?

Скачайте книгу, щоб оцінити її якість

Яка якість скачаних файлів?

Том:

Мова:

english

Журнал:

Journal of the ACM

DOI:

10.1145/322169.322185

Date:

January, 1980

Файл:

PDF, 879 KB

english, 1980

Виконується конвертація в

Конвертація в не вдалась