search for books and compare prices
Cliff B. Jones has written 5 work(s)
Search for other authors with the same name
displaying 1 to 5 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9780792397700 Cover for 9781461286257 Cover for 9783540258131 Cover for 9780387197524
cover image for 9781461286257
Product Description: 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 software generation and maintenance methods...read more

Hardcover:

9780792397700 | Kluwer Academic Pub, June 1, 1996, cover price $249.00 | About this edition: Both object orientation and parallelism are modern programming paradigms which have gained much popularity in the last 10-15 years.

Paperback:

9781461286257 | Reprint edition (Springer-Verlag New York Inc, July 31, 2012), cover price $249.00 | About this edition: Both object orientation and parallelism are modern programming paradigms which have gained much popularity in the last 10-15 years.

cover image for 9783540258131
Product Description: 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” is today widely regarded as one of the most in?uential papers in computer science...read more
By Ali E. Abdallah (editor), Cliff B. Jones (editor) and Jeff W. Sanders (editor)

Paperback:

9783540258131 | Springer-Verlag New York Inc, June 22, 2005, cover price $99.00 | About this edition: This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes.

Product Description: A practical guide to software development using DVM, a mathematically based technique for formal specification and correctness reasoning. This edition uses BSI (draft) standard VDM notation, emphasizes the formal approach to specification and design and explains formal proofs for data types...read more

Paperback:

9780138807337 | 2 sub edition (Prentice Hall, April 1, 1990), cover price $47.20 | also contains The Cambridge History of the Book in Britain: 1695-1830 | About this edition: A practical guide to software development using DVM, a mathematically based technique for formal specification and correctness reasoning.

displaying 1 to 5 | at end