Nettsteder ligner Averest.Org
The Averest System
Beskrivelse: 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 ...
Populære søk: averest
Site Rating:
3.0 / 5.0, gjennomgått av Sites Like Search
språk: English
Sideemner: programming
The Verimag Laboratory web site
Site Rating:
3.0 / 5.0, språk: English
A free encyclopedia built collaboratively using wiki software. (Creative Commons Attribution-ShareAlike License).
Site Rating:
3.0 / 5.0, språk: English
Books, conferences, and other information about Visual FoxPro and related technologies.
Site Rating:
3.0 / 5.0, språk: 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, språk: Français
Textbooks.elsevier.com - tools for all your teaching needs
Site Rating:
3.0 / 5.0, språk: English
All about SNOBOL4 and SPITBOL, compilers and interpreter for a text-processing, pattern-matching programming language.
Site Rating:
3.0 / 5.0, språk: English
Scientific Literature Digital Library incorporating autonomous citation indexing, awareness and tracking, citation context, related document retrieval, similar ...
Site Rating:
3.0 / 5.0, språk: 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, språk: English