کتاب های Cliff Jones
کتاب های نویسنده
صفحه ۱ از ۱ در بین ۱۸ کتاب.
درباره نویسنده
کلی جونز (انگلیسی: Kelly Jones؛ زاده ۳۱ مارس ۱۹۶۴(1964-03-31)) یک تنیسباز اهل ایالات متحده آمریکا است.
PDF
Object Orientation with Parallelism and Persistence
Steve J. Hodges, Cliff B. Jones (auth.), Burkhard Freitag, Cliff B. Jones, Christian Lengauer, Hans-Jörg Schek (eds.), 1996PDF
The Vienna Development Method: The Meta-Language
Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.), 1978DJVU
Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings
Cliff B Jones (auth.), Hanne Riis Nielson (eds.), 1996PDF
Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings
Cliff B Jones (auth.), Hanne Riis Nielson (eds.), 1996PDF
Methods, Models and Tools for Fault Tolerance
A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.), 2009PDF
Methods, Models and Tools for Fault Tolerance
A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.), 2009PDF
Methods, Models and Tools for Fault Tolerance
A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.), 2009PDF
Rigorous Development of Complex Fault-Tolerant Systems
Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.), 2006PDF
5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992
Mr Patrick O’Ferrall (auth.), Cliff B. Jones DPhil, Roger C. Shaw GIMA, MBCS, Tim Denvir MA, CEng, MIEE, MBCS (eds.), 1992PDF
Proof in VDM: Case Studies
John Fitzgerald, Cliff Jones (auth.), J. C. Bicarregui BSc, MSc, PhD (eds.), 1998PDF
Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
Stephen Brookes (auth.), Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.), 2005PDF
Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
Stephen Brookes (auth.), Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.), 2005PDF
PDF
