First Page | Document Content | |
---|---|---|
Date: 2012-02-09 04:37:54Theoretical computer science Science Formal languages Correctness Compiler construction Automated proof checking Formal proof Compiler Software development process Formal methods Mathematics Logic | Formal Aspects of Computing: 1{000 c 1997 BCS Limits of Formal Methods Ralf KneuperAdd to Reading ListSource URL: www.kneuper.deDownload Document from Source WebsiteFile Size: 194,12 KBShare Document on Facebook |