- Добавил: daromir
- Дата: 30-09-2018, 18:39
- Комментариев: 0

Автор: J Strother Moore
Название: Piton: A Mechanically Verified Assembly-Level Language
Издательство: Springer
Год: 1996
Серия: Automated Reasoning Series
ISBN: 0792339207
Язык: English
Формат: pdf
Размер: 11,4 mb
Страниц: 320
Piton is a simple assembly-level programming language for a microprocessor called the FM9001 described at the machine code level. The correctness of the implementation has been proved by a mechanical theorem prover.