Language / Country:
Sites similar to Averest.Org
The Averest System
Description: A set of tools for the specification, verification, and implementation of reactive systems. It includes a compiler for synchronous programs, a symbolic model checker, and a tool for hardware/software synthesis. Downloadable in ...
Popular Searches: averest
Site rating:
3.0 / 5.0, reviewed by Sites Like Search
Language: English
Site topics: programming
The Verimag Laboratory web site
Site rating:
3.0 / 5.0, Language: English
A free encyclopedia built collaboratively using wiki software. (Creative Commons Attribution-ShareAlike License).
Site rating:
3.0 / 5.0, Language: English
Books, conferences, and other information about Visual FoxPro and related technologies.
Site rating:
3.0 / 5.0, Language: English
Unité Mixte de Recherche (UMR 6070) du Centre National de la Recherche Scientifique (CNRS) et de l'Université de Nice - Sophia-Antipolis (UNSA). Sophia-Antipolis ...
Site rating:
3.0 / 5.0, Language: Français
Textbooks.elsevier.com - tools for all your teaching needs
Site rating:
3.0 / 5.0, Language: English
All about SNOBOL4 and SPITBOL, compilers and interpreter for a text-processing, pattern-matching programming language.
Site rating:
3.0 / 5.0, Language: English
Scientific Literature Digital Library incorporating autonomous citation indexing, awareness and tracking, citation context, related document retrieval, similar ...
Site rating:
3.0 / 5.0, Language: English
ACSI Eurocampings - 9.800 by ACSI inspected campings in Europe! Free online overview of more than eight thousand European campsites with various facilities.
Site rating:
3.0 / 5.0, Language: English