![Software engineering / Computer programming / Computing / Object-oriented programming / Software design patterns / Concurrent programming languages / Cross-platform software / Method / Objective-C / Invariant / Null Object pattern / Protocol Software engineering / Computer programming / Computing / Object-oriented programming / Software design patterns / Concurrent programming languages / Cross-platform software / Method / Objective-C / Invariant / Null Object pattern / Protocol](https://www.pdfsearch.io/img/04fbfab01038173f32a5691a640cd5ec.jpg) Date: 2016-05-04 09:09:45Software engineering Computer programming Computing Object-oriented programming Software design patterns Concurrent programming languages Cross-platform software Method Objective-C Invariant Null Object pattern Protocol | | Verifiable Programming of Object-Oriented and Distributed Systems∗ Olaf Owe University of Oslo, Department of Informatics, Oslo, Norway, and University of California, Santa Cruz, Department of Computer Science, USA AprAdd to Reading ListSource URL: heim.ifi.uio.noDownload Document from Source Website File Size: 492,33 KBShare Document on Facebook
|