Верификация моделей программ: Model Checking
Вы можете вообще ничего не знать о Галлии и галлах, но выражение Юлия Цезаря `перейти Рубикон` слышали наверняка. Река Рубикон отделяла Италию от территории Галлии, заселенной кельтскими племенами, или галлами, как их называли римляне. Об этом удивительном народе, его языке, нравах, религиозных представлениях, обрядах и традициях живо и интересно, с привлечением различных источников рассказывает автор...
Издательство:
МЦНМО
Дата выхода: май 2014