Libdmc

Russell, Jesse

Cohn, Ronald

Paperback

$19.95 New
Ships from warehouse

Add to Wishlist

ISBN10: 5512534718
ISBN13: 9785512534717
Publisher: Book On Demand Ltd
Published: Jan 16 2013
Pages: 108
Weight: 0.30
Height: 0.22 Width: 5.83 Depth: 8.27
Language: English

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.