Cliff B. Jones – författare
Visar alla böcker från författaren Cliff B. Jones. Handla med fri frakt och snabb leverans.
26 produkter
Object Orientation with Parallelism and Persistence
Av Burkhard Freitag, Cliff B. Jones m. fl.
Inbunden, 1996
1693 kr
Lägg i varukorg
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. Parallelism can serve to structure a problem but also …
5th Refinement Workshop
Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992
Av Tim Denvir, Roger C. Shaw m. fl.
E-bok, 2013
755 kr
Lägg i varukorg
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 methods in producing reliable hard- and software is widely appreciated by academics and workers in …
Reflections on the Work of C.A.R. Hoare
Av Cliff B. Jones, A.W. Roscoe m. fl.
Häftad, 2014
1638 kr
Lägg i varukorg
ThisvolumehasitsoriginsinameetingheldatMicrosoftResearch,Cambridge,in April2009tocelebrateTonyHoare's75thBirthday(actually11Jan2009). Allthe technicalpapersexceptforthosewrittenbyAbramsky,Jackson,JonesandMeyer arebased-sometimesclosely,sometimesnot-onpresentationsgivenatthatme- ing. …
Theories of Programming
The Life and Works of Tony Hoare
Av Cliff B. Jones, Jayadev Misra
Inbunden, 2021
707 kr
Lägg i varukorg
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 been widely recognised: He was awarded the ACM's Turing Award in 1980, the Kyoto Prize from the Inamori …
Theories of Programming
The Life and Works of Tony Hoare
Av Cliff B. Jones, Jayadev Misra
Häftad, 2021
483 kr
Lägg i varukorg
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 been widely recognised: He was awarded the ACM's Turing Award in 1980, the Kyoto Prize from the Inamori …
Theories of Programming
The Life and Works of Tony Hoare
Av Jayadev Misra, Cliff B. Jones
E-bok, 2021
381 kr
Lägg i varukorg
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 been widely recognised: He was awarded the ACM’s Turing Award in 1980, the Kyoto Prize from the …
Theories of Programming
The Life and Works of Tony Hoare
Av Jayadev Misra, Cliff B. Jones
E-bok, 2021
381 kr
Lägg i varukorg
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 been widely recognised: He was awarded the ACM’s Turing Award in 1980, the Kyoto Prize from the …
Object Orientation with Parallelism and Persistence
Av Burkhard Freitag, Cliff B. Jones m. fl.
Häftad, 2011
1687 kr
Lägg i varukorg
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. Parallelism can serve to structure a problem but also …
Object Orientation with Parallelism and Persistence
Av Hans-Jorg Schek, Christian Lengauer m. fl.
E-bok, 2012
2127 kr
Lägg i varukorg
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. Parallelism can serve to structure a problem but also …
Reflections on the Work of C.A.R. Hoare
Av Cliff B. Jones, A.W. Roscoe m. fl.
Inbunden, 2010
1638 kr
Lägg i varukorg
ThisvolumehasitsoriginsinameetingheldatMicrosoftResearch,Cambridge,in April2009tocelebrateTonyHoare's75thBirthday(actually11Jan2009). Allthe technicalpapersexceptforthosewrittenbyAbramsky,Jackson,JonesandMeyer arebased-sometimesclosely,sometimesnot-onpresentationsgivenatthatme- ing. …
Reflections on the Work of C.A.R. Hoare
Av Kenneth R. Wood, A.W. Roscoe m. fl.
E-bok, 2010
2111 kr
Lägg i varukorg
Understanding Programming Languages
Inbunden, 2020
791 kr
Lägg i varukorg
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 compiler or an interpreter offers a form of formal description of a language, it is not something …
Understanding Programming Languages
E-bok, 2020
732 kr
Lägg i varukorg
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 compiler or an interpreter offers a form of formal description of a language, it is not something …
Understanding Programming Languages
Häftad, 2021
567 kr
Lägg i varukorg
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 compiler or an interpreter offers a form of formal description of a language, it is not something …
5th Refinement Workshop
Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992
Av Cliff B. Jones, Roger C. Shaw m. fl.
Häftad, 1992
567 kr
Lägg i varukorg
Refinement is the term used to describe systematic and formal methods of specifying hardware and software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hard-and software is widely appreciated by academics and workers in …
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
Av Ali E. Abdallah, Cliff B. Jones m. fl.
Häftad, 2005
567 kr
Lägg i varukorg
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. To comm- orate it, an event …
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
Av Jeff W. Sanders, Cliff B. Jones m. fl.
E-bok, 2005
755 kr
Lägg i varukorg
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. To comm- orate it, an event …
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods
4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings
Av John Fitzgerald, Cliff B. Jones m. fl.
Häftad, 1997
1127 kr
Lägg i varukorg
This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume were …
Formal Methods and Hybrid Real-Time Systems
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Av Cliff B. Jones, Zhiming Liu m. fl.
Häftad, 2007
567 kr
Lägg i varukorg
This Festschrift volume is published to honour both Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course …
Formal Methods and Hybrid Real-Time Systems
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Av Jim Woodcock, Zhiming Liu m. fl.
E-bok, 2007
755 kr
Lägg i varukorg
Theoretical Aspects of Computing - ICTAC 2007
4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
Av Cliff B. Jones, Zhiming Liu m. fl.
Häftad, 2007
567 kr
Lägg i varukorg
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 presented together with 3 invited talks and summaries of 2 tutorials were carefully reviewed and …
Theoretical Aspects of Computing - ICTAC 2007
4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
Av Jones Woodcock, Zhiming Liu m. fl.
E-bok, 2007
755 kr
Lägg i varukorg
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 presented together with 3 invited talks and summaries of 2 tutorials were carefully reviewed and …
Methods, Models and Tools for Fault Tolerance
Av Michael Butler, Cliff B. Jones m. fl.
Häftad, 2009
567 kr
Lägg i varukorg
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, high dependability requirements that systems have to meet, as well as the complexity of infrastructures …
Methods, Models and Tools for Fault Tolerance
Av Elena Troubitsyna, Alexander Romanovsky m. fl.
E-bok, 2009
739 kr
Lägg i varukorg
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, high dependability requirements that systems have to meet, as well as the complexity of infrastructures …
Dependable and Historic Computing
Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday
Av Cliff B. Jones, John L. Lloyd
Häftad, 2011
569 kr
Lägg i varukorg
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 invited papers that were presented at the conference 'Dependable and Historic Computing: The Randell …
Dependable and Historic Computing
Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday
Av John L. Lloyd, Cliff B. Jones
E-bok, 2012
734 kr
Lägg i varukorg
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 invited papers that were presented at the conference ''Dependable and Historic Computing: The Randell …
