Averest
Contenu soumis à la licence CC-BY-SA. Source : Article Averest de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Averest — is a synchronous programming language and set of tools to specify, verify, and implement reactive systems. It includes a compiler for synchronous programs, a symbolic model checker, and a tool for hardware/software synthesis.It can be used to… … Wikipedia
List of programming languages by category — Programming language lists Alphabetical Categorical Chronological Generational This is a list of programming languages grouped by category. Some languages are listed in multiple categories. Contents … Wikipedia
List of programming languages — Programming language lists Alphabetical Categorical Chronological Generational The aim of this list of programming languages is to include all notable programming languages in existence, both those in current use and historical ones, in… … Wikipedia
Genesis Plus — Infobox Software | name = Genesis Plus caption = developer = Charles MacDonald latest release version = 1.2.x latest release date = latest preview version = latest preview date = operating system = Windows, Mac OS X, DOS, Nintendo GameCube, Wii,… … Wikipedia
Liste des langages de programmation — Le but de cette Liste des langages de programmation est d inclure tous les langages de programmation existants, qu ils soient actuellement utilisés ou historiques, par ordre alphabétique. Ne sont pas listés ici les langages informatiques de… … Wikipédia en Français