Моделирование распределенных систем Wan fokkink
Код: 17748707802
5204 грн
Цена указана с доставкой в Украину
Товар есть в наличии
КАК ЭКОНОМИТЬ НА ДОСТАВКЕ?
Заказывайте большое количество товаров у этого продавца
Информация
- Время доставки: 7-10 дней
- Состояние товара: новый
- Доступное количество: 10
Просматривая «Моделирование распределенных систем Wan fokkink», вы можете быть уверены, что данный товар из каталога «[rubrica_name]» будет доставлен из Польши и проверен на целостность. В цене товара, указанной на сайте, учтена доставка из Польши. Внимание!!! Товары для Евросоюза, согласно законодательству стран Евросоюза, могут отличаться упаковкой или наполнением.
Моделирование распределенных систем
Этот учебник направляет студентов через алгебраическую спецификацию и проверку распределенных систем, а также некоторые из наиболее заметных формальных методов проверки. Полные решения предоставляются в приложении, в то время как листы упражнений, лабораторные упражнения, примеры спецификации и слайды лекторов являются доступными на веб -сайте авторов.
- Автор: wan fokkink
- Издатель: springer
- Год публикации: 2007
- обложка: жестко
- Количество страниц: 154
- Размеры: 16,4 x 24 x 1,6 см
- Иллюстрации: 7 таблиц, черно -белые; VIII, 154 с.
- язык: английский
- isbn: 9783540739371