[Lecture Notes in Computer Science] Formal Methods at the...

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || Towards the Verifying Compiler

Aichernig, Bernhard K., Maibaum, Tom

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

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

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

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

Том:

10.1007/b1

Рік:

2003

Мова:

english

DOI:

10.1007/978-3-540-40007-3_10

Файл:

PDF, 120 KB

english, 2003

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

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