Libdmc

Libdmc

Jesse Russell Ronald Cohn

     

бумажная книга

Продать эту книгу

ISBN: 978-5-5125-3471-7

High Quality Content by WIKIPEDIA articles! Libdmc is a library designed at the LIP6 laboratory. Its goal is to ease the distribution of existing model checkers. It has also been designed to provide the most generic interfaces, without sacrificing performance, thanks to the C++ language.

Каталог