| Document Date: 2013-03-13 12:33:24 Open Document File Size: 198,62 KBShare Result on Facebook
City Sophia Antipolis Cedex / Montevideo / Orsay Cedex / / Company Microsoft Research Joint Laboratory / Connected Limited / / Country France / Uruguay / / Currency pence / / / IndustryTerm dependent product / target technology / device manufacturer / / Person Ai / Sophia Antipolis / / Position Security Model Santiago Zanella / Prime Minister / Coq proof assistant / / Product Coq / / ProgrammingLanguage Java / / Technology virtual machine / HTTP / cell phones / dom / HTTP protocol / mobile device / Java / target technology / API / Mobile devices / / URL http /
SocialTag |