![Software engineering / Computing / Computer programming / Concurrency control / Concurrent computing / Edsger W. Dijkstra / Object-oriented programming languages / Concurrent programming languages / Concurrency / Concurrent data structure / Thread / SCOOP Software engineering / Computing / Computer programming / Concurrency control / Concurrent computing / Edsger W. Dijkstra / Object-oriented programming languages / Concurrent programming languages / Concurrency / Concurrent data structure / Thread / SCOOP](https://www.pdfsearch.io/img/3ca8a1a4e9f12c289711295fb99536c5.jpg) Date: 2013-08-09 13:49:10Software engineering Computing Computer programming Concurrency control Concurrent computing Edsger W. Dijkstra Object-oriented programming languages Concurrent programming languages Concurrency Concurrent data structure Thread SCOOP | | Using Contracts to Guide the Search-Based Verification of Concurrent Programs Christopher M. Poskitt1 and Simon Poulding2 1 2Add to Reading ListSource URL: se.inf.ethz.chDownload Document from Source Website File Size: 182,61 KBShare Document on Facebook
|