Jayadev Misra is the Schlumberger Centennial Chair Emeritus and University Distinguished Teaching Professor Emeritus at the University of Texas at Austin. His research interests are in formal methods related to concurrency, which has brought him in contact with Sir Tony Hoare for over four decades. He joined Tony in the Verified Software Initiative (VSI) project since its inception, and continues to participate in it fully.
11 Электронные книги Cliff B. Jones
Tim Denvir & Cliff B. Jones: 5th Refinement Workshop
Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations. The value of formal method …
PDF
английский
DRM
€57.77
Burkhard Freitag & Cliff B. Jones: Object Orientation with Parallelism and Persistence
Both object orientation and parallelism are modern programming paradigms which have gained much popularity in the last 10-15 years. Object orientation raises hopes for increased productivity of softw …
PDF
английский
DRM
€165.08
Ali E. Abdallah & Cliff B. Jones: Communicating Sequential Processes. The First 25 Years
This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. 1 Tony Hoare’s paper "Communicating Sequential Processes" i …
PDF
английский
DRM
€57.46
Cliff B. Jones & Zhiming Liu: Formal Methods and Hybrid Real-Time Systems
…
PDF
английский
DRM
€57.65
Cliff B. Jones & Zhiming Liu: Theoretical Aspects of Computing — ICTAC 2007
This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007.The 29 revised full papers pr …
PDF
английский
DRM
€57.61
Michael Butler & Cliff B. Jones: Methods, Models and Tools for Fault Tolerance
The growing complexity of modern software systems increases the di?culty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, hig …
PDF
английский
DRM
€57.42
Cliff B. Jones & John L. Lloyd: Dependable and Historic Computing
This Festschrift volume, published in honor of Brian Randell on the occasion of his 75th birthday, contains a total of 37 refereed contributions. Two biographical papers are followed by the six invit …
PDF
английский
DRM
€57.57
Cliff B. Jones & Jayadev Misra: Theories of Programming
Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification . His contributions have be …
PDF
английский
DRM
€31.99
Cliff B. Jones & Jayadev Misra: Theories of Programming
Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification . His contributions have be …
EPUB
английский
DRM
€32.99
Cliff B. Jones: Understanding Programming Languages
This book is about describing the meaning of programming languages. The author teaches the skill of writing semantic descriptions as an efficient way to understand the features of a language. While a …
PDF
английский
DRM
€57.99
