книги

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

Код 3652289

  • ISBN: 978-5-94057-054-7
  • 160 страниц
  • май 2014
  • МЦНМО

Нет в продаже

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

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

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

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

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

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

Просмотренные товары