• ВХОД

    •  

    Полное описание

    510.6/K84-542818
     Kroening, D. Decision procedures : an algorithmic point of view / D. Kroening, O. Strichman. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2008. - (Texts in theoretical computer science, an EATCS series, ISSN 1862-4499). - URL: http://dx.doi.org/10.1007/978-3-540-74105-3. - ISBN 978-3-540-74105-3.
    ГРНТИ УДК
    27.03.19510
    50.05.13004.415.5
    03.91

    Рубрики:
    Математическая логика
    Программы для ЭВМ -- Верификация

    Доп. точки доступа:
    Strichman, O.
    SpringerLink (Online service)
    Экз-ры полностью 510.6/K84-542818
    http://dx.doi.org/10.1007/978-3-540-74105-3



    Просмотр издания