に似ているサイト Averest.Org
The Averest System
説明: 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 ...
人気キーワード: averest
サイトの評価:
3.0 / 5.0, によって見直さ Sites Like Search
言語: English
サイトトピックス: programming
The Verimag Laboratory web site
サイトの評価:
3.0 / 5.0, 言語: English
A free encyclopedia built collaboratively using wiki software. (Creative Commons Attribution-ShareAlike License).
サイトの評価:
3.0 / 5.0, 言語: English
Books, conferences, and other information about Visual FoxPro and related technologies.
サイトの評価:
3.0 / 5.0, 言語: 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 ...
サイトの評価:
3.0 / 5.0, 言語: Français
Textbooks.elsevier.com - tools for all your teaching needs
サイトの評価:
3.0 / 5.0, 言語: English
All about SNOBOL4 and SPITBOL, compilers and interpreter for a text-processing, pattern-matching programming language.
サイトの評価:
3.0 / 5.0, 言語: English
Scientific Literature Digital Library incorporating autonomous citation indexing, awareness and tracking, citation context, related document retrieval, similar ...
サイトの評価:
3.0 / 5.0, 言語: English
ACSI Eurocampings - 9.800 by ACSI inspected campings in Europe! Free online overview of more than eight thousand European campsites with various facilities.
サイトの評価:
3.0 / 5.0, 言語: English