Back to Results
First PageMeta Content
Automata theory / Sequence / Hindley–Milner / ALGOL 68 / Programming language theory / Software engineering / Mathematics


TEMPO RELEASE NOTES v0.1.7 (BETA[removed]Recent Fixes (v0.1.7)
Add to Reading List

Document Date: 2011-07-22 14:04:39

Open Document

File Size: 414,18 KB

Share Result on Facebook

IndustryTerm

command line tool / /

OperatingSystem

Windows Vista / Windows XP / Mac OS X / Linux / /

Person

Nat / /

Position

General / The PVS translator / RT / Translator / PVS PVS Integration The PVS Translator / /

Technology

java / Linux / simulation / /

SocialTag