Моделювання розподілених систем Wan Fokkink
Код: 17748707802
5204 грн
Ціна вказана з доставкою в Україну
Товар є в наявності
ЯК ЕКОНОМИТИ НА ДОСТАВКЕ?
Замовляйте велику кількість товарів у цього продавця
Інформація
- Час доставки: 7-10 днів
- Стан товару: новий
- Доступна кількість: 10
Просматривая «Моделирование распределенных систем Wan fokkink», вы можете быть уверены, что данный товар из каталога «[rubrica_name]» будет доставлен из Польши и проверен на целостность. В цене товара, указанной на сайте, учтена доставка из Польши. Внимание!!! Товары для Евросоюза, согласно законодательству стран Евросоюза, могут отличаться упаковкой или наполнением.
Моделювання розподілених систем
Цей підручник проводить студентів за допомогою алгебраїчних специфікацій та перевірки розподілених систем та деяких найвизначніших методів формальної перевірки. Повні рішення надаються в Applendix, тоді як вправи, вправи в лабораторії, приклади специфікацій та слайди викладачів доступні на веб -сайті авторів.
- Автор: wan fokkink
- видавець: springer
- Рік публікації: 2007
- обкладинка: важкий
- Кількість сторінок: 154
- Розміри: 16.4 x 24 x 1,6 см
- Ілюстрації: 7 таблиць, чорно -білі; Viii, 154 с.
- Мова: англійська
- ISBN: 9783540739371