 Date: 2012-10-10 03:52:00Theoretical computer science Logic in computer science Software engineering Computer science Hardware description languages Synchronous programming languages Formal methods Denotational semantics Esterel Robin Milner Milner Logic for Computable Functions | |  Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry
Add to Reading ListSource URL: events.inf.ed.ac.ukDownload Document from Source Website File Size: 1,07 MBShare Document on Facebook
|
