Верификация моделей программ: Model Checking

Верификация моделей программ: Model Checking

Эмиль Тевено

     

бумажная книга



Издательство: МЦНМО
Дата выхода: май 2014
ISBN: 978-5-94057-054-7
Объём: 160 страниц

Вы можете вообще ничего не знать о Галлии и галлах, но выражение Юлия Цезаря `перейти Рубикон` слышали наверняка. Река Рубикон отделяла Италию от территории Галлии, заселенной кельтскими племенами, или галлами, как их называли римляне. Об этом удивительном народе, его языке, нравах, религиозных представлениях, обрядах и традициях живо и интересно, с привлечением различных источников рассказывает автор этой книги - известный историк Эмиль Тевено.

Каталог