Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  10:00-20:00 пн-пт 11-18 сб
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Специальные предложения | Бестселлеры
 

Concur 2003 - Concurrency Theory / 14Th International Conference, Marseille, France, September 3-5, 2003, Proceedings, Concur 2003 - Concurrency Theory / 14Th International Conference, Marseille, France, September 3-5, 2003, Proceedings



Варианты приобретения
Цена: 9404р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Англия: 836 шт.  Склад Америка: 90 шт.  
При оформлении заказа до: 5 фев 2021
Ориентировочная дата поставки: Начало марта

Добавить в корзину
в Мои желания

Автор: Concur 2003 - Concurrency Theory / 14Th International Conference, Marseille, France, September 3-5, 2003, Proceedings
Название:  Concur 2003 - Concurrency Theory / 14Th International Conference, Marseille, France, September 3-5, 2003, Proceedings
Издательство: Springer
Классификация:
Компьютерное программирование
Алгоритмы и процедуры
Языки программирования
Сетевые компьютеры

ISBN: 3540407537
ISBN-13(EAN): 9783540407539
ISBN: 3-540-40753-7
ISBN-13(EAN): 978-3-540-40753-9
Обложка/Формат: Paperback
Страницы: 524
Вес: 0.754 кг.
Дата издания: 2003
Серия: Lecture Notes in Computer Science
Язык: English
Иллюстрации: Illustrations
Размер: 23.39 x 15.60 x 2.79
Читательская аудитория: Professional & vocational
Подзаголовок: Concurrency theory : 14th international conference, marseille, france,september 3-5 2003 : proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book constitutes the refereed proceedings of the 14th International Conference on Concurrency Theory, CONCUR 2003, held in Marseille, France in September 2003.The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on partial orders and asynchronous systems, process algebras, games, infinite systems, probabilistic automata, model checking, model checking and HMSC, security, mobility, compositional methods and real time, and probabilistic models.
Дополнительное описание: Формат: 235x155
Круг читателей: Researchers and professionals
Ключевые слова: concurrency
concurrent processing
concurrent systems
distributed computing
formal verification
hybrid systems
model checking
parallel computing
petri nets
probabilistic systems
process algebra
coordination
infinite state systems
Язык: eng





ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия