![Automata theory / Sequence / Hindley–Milner / ALGOL 68 / Programming language theory / Software engineering / Mathematics Automata theory / Sequence / Hindley–Milner / ALGOL 68 / Programming language theory / Software engineering / Mathematics](https://www.pdfsearch.io/img/d8f2028b3f118b6c89d4ed11630fa84f.jpg)
| Document Date: 2011-07-22 14:04:39 Open Document File Size: 414,18 KBShare 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 |