Libdmc Jesse Russell

ISBN: 9785512534717

Published: May 3rd 2012

Paperback

108 pages


Description

Libdmc  by  Jesse Russell

Libdmc by Jesse Russell
May 3rd 2012 | Paperback | PDF, EPUB, FB2, DjVu, AUDIO, mp3, RTF | 108 pages | ISBN: 9785512534717 | 5.59 Mb

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 sacrificingMoreHigh 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.



Enter the sum





Related Archive Books



Related Books


Comments

Comments for "Libdmc":


dave-lombardo.com

©2011-2015 | DMCA | Contact us