![Logic in computer science / Control flow / Object-oriented programming / Program logic / Procedural programming languages / Postcondition / Exception handling / Eiffel / Precondition / Software engineering / Computing / Computer programming Logic in computer science / Control flow / Object-oriented programming / Program logic / Procedural programming languages / Postcondition / Exception handling / Eiffel / Precondition / Software engineering / Computing / Computer programming](https://www.pdfsearch.io/img/c5bdd2b33d2d4cad7227229aea6ae6bc.jpg)
| Document Date: 2011-06-23 07:40:14 Open Document File Size: 328,78 KBShare Result on Facebook
/ IndustryTerm free software / verification tools / bank / prover tools / verification techniques and tools / software verification / verification tool / / Person Boogie Julian Tschannen / Carlo A. Furia / Martin Nordio / / Position observer / and factory design patterns / / ProgrammingLanguage Java / C / / Technology object-oriented programming / Java / / URL http /
SocialTag |