Книги, похожие на «An Introduction to Practical Formal Methods Using Temporal Logic»,

Хит продаж
Трансерфинг реальности. Ступень I + II + III + IV + V

Трансерфинг реальности. Ступень I + II + III + IV + V

Вадим ЗеландЧитает Михаил Черняк
Аудио
4,6
391
1 399 ₽
Хит продаж
Звездная кровь – 8. Псы вечности

Звездная кровь – 8. Псы вечности

Роман Прокофьев
ТекстЧерновик
4,9
175
199 ₽
Хит продаж
Колодец и бабочка

Колодец и бабочка

Елена Михалкова
Текст
4,6
1016
379 ₽
Хит продаж
Лед-Кузнец

Лед-Кузнец

Роман Прокофьев
ТекстЧерновик
4,9
420
179 ₽
Хит продаж
Амур с гранатой

Амур с гранатой

Дарья Донцова
Текст
3,6
8
289 ₽
Эксклюзив
Штурм Бахмута. Позывной «Констебль»

Штурм Бахмута. Позывной «Констебль»

Александр «Писатель» Савицкий и др.
Текст
4,3
737
690 ₽
Хит продаж
18+
Игрок

Игрок

Селина Аллен
Текст
4,9
571
249 ₽
Хит продаж
Не драконьте короля!

Не драконьте короля!

Наталья Мамлеева
Текст
4,9
445
199 ₽
Эксклюзив
Круть

Круть

Виктор ПелевинЧитает Максим Суханов и др.
Аудио
4,1
812
599 ₽
Хит продаж
Славные парни по-русски. Нерассказанная история. Книга 1

Славные парни по-русски. Нерассказанная история. Книга 1

Сергей (Ося) Буторин и др.
Текст
4,9
31
700 ₽
Хит продаж
Орден Архитекторов 7

Орден Архитекторов 7

Юрий Винокуров и др.
Текст
4,7
909
199 ₽
Эксклюзив
Калифорния на Амуре

Калифорния на Амуре

АНОНИМУСЧитает Александр Клюквин
Аудио
4,6
460
399 ₽
Эксклюзив
Штурм Бахмута. Позывной «Констебль»

Штурм Бахмута. Позывной «Констебль»

Александр «Писатель» Савицкий и др.Читает Granvill VM
Аудио
4,1
217
690 ₽
Хит продаж
Поиски утраченного завтра

Поиски утраченного завтра

Сергей ЛукьяненкоЧитает Кирилл Радциг
Аудио
4,4
628
549 ₽
Эксклюзив
Круть

Круть

Виктор Пелевин
Текст
4,0
632
599 ₽
Эксклюзив
Живое Серебро

Живое Серебро

Anne Dar
Текст
4,8
1352
690 ₽
Легкий способ бросить курить

Легкий способ бросить курить

Аллен КаррЧитает Александр Курицын
Аудио
4,8
4553
589 ₽
Хит продаж
Ничто не стоит так дорого

Ничто не стоит так дорого

Екатерина Островская
Текст
4,5
2
329 ₽
Хит продаж
Анатомия манипуляций

Анатомия манипуляций

Антон МахновскийЧитает Константин Гайчук и др.
Аудио
5,0
4
699 ₽
Эксклюзив
Антидемон. Книга 17

Антидемон. Книга 17

Серж Винтеркей
ТекстЧерновик
4,7
293
229 ₽
Хит продаж
Адепт не хуже прочих

Адепт не хуже прочих

Павел Корнев
Текст
4,8
340
199 ₽
Хит продаж
С приветом из другого мира!

С приветом из другого мира!

Марина Владимировна Ефиминюк
Текст
4,8
1316
199 ₽
или по подписке
Хит продаж
Адепт не хуже прочих

Адепт не хуже прочих

Павел КорневЧитает Игорь Ященко
Аудио
4,7
7
339 ₽
Хит продаж
Karmalogic

Karmalogic

Алексей СитниковЧитает Сергей Чонишвили
Аудио
4,6
963
699 ₽