[email protected]
Ще ви отговорим до 24 часа
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв
Speedy 13.00 лв
ЕКОНТ 6.00 лв
Еконтомат/Офис на Еконт 6.00 лв
Box Now 6.00 лв
Контакт
Как се пазарува?
Помощ
Доставка
Speedy office 11.00 лв
Speedy 13.00 лв
ЕКОНТ 6.00 лв
Еконтомат/Офис на Еконт 6.00 лв
Box Now 6.00 лв
Безплатна доставка със Еконт над 129 лв
Наръчник за пазаруване
Тук сме за Вас!
[email protected]
Моят акаунт
Станете част от общност от любители на книгите от цял свят и получавате много предимства.
Създай на безплатен акаунт
▸
Празна :-(
0
Theoretical Aspects of Computing - ICTAC 2016
Език
Английски език
Английски език
Книга
С меки корици
This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical A...
Цялото описание
Код Либристо: 13938115
?
164 b
164 b
128.23
лв
Външен склад в ограничено количество
Изпращаме след 13-16 дни
30 дни за връщане на стоката
Може би ще Ви заинтересува
/
С меки корици
67.19
лв
/
С меки корици
45.70
лв
This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016. The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on program verification; design, synthesis and testing; calculi; specifications; composition and transformation; automata; temporal logics; tool and short papers.
Информация за книгата
Пълно заглавие
Theoretical Aspects of Computing - ICTAC 2016
Автор
Augusto Sampaio, Farn Wang
Език
Английски език
Английски език
Корици
Книга - С меки корици
Дата на издаване
2016
Брой страници
479
Баркод
9783319467498
ISBN
3319467492
Код Либристо
13938115
Издателство
Springer International Publishing AG
Тегло
7489
Размери
155 x 235 x 28
Категории
Computing & Information Technology
>
Computer science
>
Mathematical theory of computation
>
Maths for computer scientists
Computing & Information Technology
>
Computer programming / software engineering
>
Compilers & interpreters
Computing & Information Technology
>
Computer programming / software engineering
>
Programming & scripting languages: general
