книги Компьютеры и Интернет Устройство компьютера, “железо”

Compiler Correctness

Код 1471162

Нет в продаже

Аннотация к книге "Compiler Correctness"

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In computing, compiler correctness is the branch of software engineering that deals with trying to show that a compiler behaves according to its language specification. Techniques include developing the compiler using formal methods and using rigorous testing (often called compiler validation) on an existing compiler.Compiler validation with formal methods involves a...

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-6-1331-5280-9
Объём: 120 страниц
Масса: 203 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают