First Page | Document Content | |
---|---|---|
![]() Date: 2011-03-11 06:32:41Logic in computer science Object-oriented programming Programming paradigms Postcondition Precondition Design by contract Eiffel Class invariant Assertion Software engineering Computer programming Computing | Source URL: se.ethz.chDownload Document from Source WebsiteFile Size: 1,93 MBShare Document on Facebook |