Головна
Серія книг
Серія книг

Серія книг – Texts in Theoretical Computer Science. An EATCS Series

3 товари
3 товари
Паперова книга «Formal Methods for Software Engineering: Languages, Methods, Application Domains», авторів Антоніо Цероне, Бернд-Хольгер Шлінглофф, Херардо Шнайдер, Маркус Роґґенбах, Сірадж Ахмед Шейх – фото №1
0
0
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Антоніо Цероне Антоніо Цероне, Бернд-Хольгер Шлінглофф, Херардо Шнайдер, Маркус Роґґенбах, Сірадж Ахмед Шейх
4380 грн
Доставка з UK 15 днів
Паперова книга «Decision Procedures: An Algorithmic Point of View», авторів Даніель Кренінг, Офер Стріхман – фото №1
0
0
Decision Procedures: An Algorithmic Point of View
Даніель Кренінг Даніель Кренінг, Офер Стріхман
Немає в наявності
Паперова книга «Simulation Algorithms for Computational Systems Biology», авторів Коррадо Пріамі, Лука Маркетті, Во Хонг Тхань – фото №1
0
0
Simulation Algorithms for Computational Systems Biology
Коррадо Пріамі Коррадо Пріамі, Лука Маркетті, Во Хонг Тхань
Немає в наявності