Back to Results
First PageMeta Content
Programming language implementation / Functional languages / Procedural programming languages / Compiler construction / Reference / Compiler / Annotation / OCaml / C / Computing / Software engineering / Software


INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT)
Add to Reading List

Document Date: 2011-02-17 08:29:02

Open Document

File Size: 831,18 KB

Share Result on Facebook

Company

RTL / INFORMATION AND COMMUNICATION TECHNOLOGIES / /

Facility

When building / /

IndustryTerm

transition systems / software components / automatic tools / /

Person

Roberto M. Amadio / Nicolas Ayache / Kayvan Memarian / /

Position

Coq proof assistant / /

ProgrammingLanguage

R / C / /

Technology

operating systems / /

SocialTag