Грамберг О., Кларк Э.Р., Пелед Д., Верификация моделей программ. Model Checking
МЦНМО, 2002 г., 416 стр., 5-94057-054-2, 978-5-94057-054-7 , 221*150*23 мм., тираж: 1000
Описание книги
Поделиться ссылкой на книгу
Об авторе
Последние поступления в рубрике "Алгебра"
 |
Удовольствие от x. Увлекательная экскурсия в мир математики от одного из лучших преподавателей в мир
Благодаря этой невероятно легкой и увлекательной книге вы сможете вспомнить или открыть для себя заново увлекательный мир математики: начиная с того, зачем вообще нужны цифры и далее к таким темам, как геометрия, интегральное исчисление, статистика и бесконечность.... |
 |
Математика для гуманитариев. Живые лекции Савватеев А.
Книга, которую вы держите в руках, необычна: это лекции в режиме реального времени. Стиль повествования позволяет воссоздать атмосферу, царившую в аудитории, ведь на бумагу практически без шлифовки перенесены не только слова лектора, но и догадки и комментарии слушателей.... |
 |
Взаимодействие физики и математики. Сборник научно-популярных статей Маневич Л.И.
В книге рассматриваются важные аспекты взаимодействия физики и математики, существенно повлиявшие на выбор путей их развития.... |
Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Грамберг О., Кларк Э.Р., Пелед Д., Верификация моделей программ. Model Checking в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.
