![Logic in computer science / Formal methods / Programming paradigms / Java Modeling Language / Java platform / Object-oriented programming / Postcondition / Class invariant / Design by contract / Software engineering / Computing / Theoretical computer science Logic in computer science / Formal methods / Programming paradigms / Java Modeling Language / Java platform / Object-oriented programming / Postcondition / Class invariant / Design by contract / Software engineering / Computing / Theoretical computer science](https://www.pdfsearch.io/img/98ab56cfb27b848a85cbf1864d795bc8.jpg)
| Document Date: 2006-06-01 14:01:26 Open Document File Size: 192,97 KBShare Result on Facebook
City Ames / Qu´ebec / / Company JMLDataGroup / / Country United States / Ireland / Canada / / Currency BRL / / Facility Iowa State University / Concordia University / University College Dublin / / IndustryTerm paint / Program verification tools / / NaturalFeature Krakatoa / / Organization Concordia University / Iowa State University / University College Dublin / / Position Private / / ProgrammingLanguage Java / / ProvinceOrState Iowa / / Technology virtual machine / Java / written using a Java-like syntax / /
SocialTag |