Graduate studies at Western
|Abstract||Overview • Alloy peculiarity • Alloy utilities • Assignments and pre- and postconditions in Alloy • Alloy for automated logical reasoning • Alloy specifications of algorithms • On your to do list: – Look through the example code in these slides, – make sure you understand what is happening. Note: Alloy Peculiarity..|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
Kit Fine (2008). Coincidence and Form. Aristotelian Society Supplementary Volume 82 (1):101-118.
Jeffrey C. King (2006). Semantics for Monists. Mind 115 (460):1023-1058.
D. M. Jacobson & M. P. Weitzman (1995). Black Bronze and the 'Corinthian Alloy'. The Classical Quarterly 45 (02):580-.
Added to index2009-01-28
Total downloads2 ( #246,970 of 740,856 )
Recent downloads (6 months)0
How can I increase my downloads?