Descriptor: "Calculus -- Analysis" / Journal: journal of the association for computing machinery - Searchworks@Jio Institute Digital Library Search Results

Your search keyword '"Calculus -- Analysis"' showing total 3 results

Start Over Descriptor "Calculus -- Analysis" Journal journal of the association for computing machinery

Author: Abadi, Martin and Blanchet, Bruno
Subjects: Protocol, Calculus -- Usage, Calculus -- Analysis, Computer network protocols -- Usage, Computer network protocols -- Analysis, Logic programming -- Usage
Published: 2005

Author: Benedikt, Michael, Liblein, Leonid, and Schwentick, Thomas
Subjects: Programming language, Calculus -- Analysis, Programming languages -- Analysis
Published: 2003

Books, media, physical & digital resources

Searchworks