Литмир - Электронная Библиотека
Литмир - Электронная Библиотека > McIver Annabelle (EN) > Abstraction, Refinement and Proof for Probabilistic Systems
Abstraction, Refinement and Proof for Probabilistic Systems
Добавить похожую книгу
Almoravids and the Meanings of Jihad
Похожа
Непохожа
Дети на дороге
Оценка   7 (1)
Читать
Похожа
Непохожа
Scroll
Похожа
Непохожа
Vital Century
Автор: Rule John (EN)
Похожа
Непохожа
Suldrun's Garden
Похожа
Непохожа
Zima Blue
Похожа
Непохожа
Combustion Ash Residue Management
Похожа
Непохожа
Abstraction, Refinement and Proof for Probabilistic Systems
Author:McIver Annabelle (EN)
Language of a book: Английский
Language of an original book: Английский
Publisher: Gardners Books

    Мой статус книги:
    Чтобы оставить свою оценку и отзывы вам нужно зайти на сайт или зарегистрироваться

    {"b":"360839","o":30}