Terlengkap di Indonesia, 15 juta buku impor via kurir lokal dengan nomor lacak
My Book Lists
My Account
Track Orders
SEARCH FILTERS

Jones, Cliff B.

Display 1 - 10 from 10 results
View per page
Sort by
Theories of Programming: The Life and Works of Tony Hoare
by Jones, Cliff B.    Misra, Jayadev   
(Paperback - English - 9781450387293)
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 Foundation in 2000, and was knighted for "services to education and computer science" by Queen Elizabeth II of England in 2000. This book presents the essence of his various works--the quest for effective abstractions--both in his own words as well as chapters written by leading experts in the field, including many of his research collaborators. In addition, this vol ..
Read More
Available
Biasanya terkirim dalam 8-14 hari kerja. Buku dikirim kurir lokal dengan nomor lacak
HARGA NORMAL
Rp. 1.141.000
HARGA HARI INI
Rp. 970.000
Add to My List

Theories of Programming: The Life and Works of Tony Hoare
by Jones, Cliff B.    Misra, Jayadev   
(Hardcover - English - 9781450387286)
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 Foundation in 2000, and was knighted for "services to education and computer science" by Queen Elizabeth II of England in 2000. This book presents the essence of his various works--the quest for effective abstractions--both in his own words as well as chapters written by leading experts in the field, including many of his research collaborators. In addition, this vol ..
Read More
Available
Biasanya terkirim dalam 8-14 hari kerja. Buku dikirim kurir lokal dengan nomor lacak
HARGA NORMAL
Rp. 1.672.000
HARGA HARI INI
Rp. 1.421.000
Add to My List

Understanding Programming Languages
by Jones, Cliff B.       
(Paperback - English - 9783030592592)
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 that can be used as a basis for reasoning about that language nor can it serve as a definition of a programming language itself since this must allow a range of implementations. By writing a formal semantics of a language a designer can yield a far shorter description and tease out, analyse and record design choices. br Early in the book the author introduces a simple ..
Read More
Special Order
Buku Special Order biasanya dipenuhi dalam 4-7 minggu. Tidak bisa menggabungkan buku ini dengan buku lain dalam satu order. Buku dikirim kurir lokal dengan nomor lacak
HARGA NORMAL
Rp. 1.468.000
HARGA HARI INI
Rp. 1.248.000
Add to My List

Reflections on the Work of C.A.R. Hoare
by Jones, Cliff B.    Roscoe, A. W.    Wood, Kenneth R.
(Hardcover - English - 9781848829114)
Insight, Inspiration and Collaboration C. B. Jones and A. W. Roscoe From CSP to Game Semantics Samson Abramsky On Mereologies in Computing Science Dines Bj rner Roles, Stacks, Histories: A Triple for Hoare Johannes Borgstrom, Andrew D. Gordon and Riccardo Pucella Forward with Hoare Mike Gordon and Helene Collavizza Probabilistic Programming with Coordination He Jifeng The Operational Principle and Problem Frames Michael Jackson The Role of Auxiliary Variables in the Formal Development of Concurrent Programs Cliff B. Jones Avoid a Void: The Eradication of Null Dereferencing Bertrand Meyer, Alexander Kogtenkov and Emmanuel Stapf Unfolding CSP Mikkel Bundgaard and ..
Read More
Available
Biasanya terkirim dalam 8-14 hari kerja. Buku dikirim kurir lokal dengan nomor lacak
HARGA NORMAL
Rp. 4.253.000
HARGA HARI INI
Rp. 3.616.000
Add to My List

5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, Organised by BCS-Facs, London, 8-10 January 1992
by Jones, Cliff B.    Shaw, Roger C.    Denvir, Tim
(Paperback - English - 9783540197522)
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 industry, despite the fact that certain research areas, such as the application to industrial-scale problems, are still in their infancy. This volume contains the papers presented at the 5th Refinement Workshop held in London, 8-10 January 1992. Its theme was the theory and practice of software specifications, which is the transformation of formal software specifications into ..
Read More
Available
Biasanya terkirim dalam 8-14 hari kerja. Buku dikirim kurir lokal dengan nomor lacak
HARGA NORMAL
Rp. 1.448.000
HARGA HARI INI
Rp. 1.231.000
Add to My List

Theoretical Aspects of Computing - Ictac 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
by Jones, Cliff B.    Liu, Zhiming    Woodcock, Jones
(Paperback - English - 9783540752905)
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 aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results and exchange experience, ideas and solutions for their problems in theoretical aspects of computing. ..
Read More
Available
Biasanya terkirim dalam 8-14 hari kerja. Buku dikirim kurir lokal dengan nomor lacak
HARGA NORMAL
Rp. 1.483.000
HARGA HARI INI
Rp. 1.261.000
Add to My List

Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday
by Jones, Cliff B.    Lloyd, John L.   
(Paperback - English - 9783642245404)
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 Tales', held during April 7-8, 2011 at Newcastle University, UK. The remaining contributions are authored by former scientific colleagues of Brian Randell. The papers focus on the core of Brian Randell's work: the development of computing science and the study of its history. Moreover, his wider interests are reflected and so the collection comprises papers on software eng ..
Read More
Available
Biasanya terkirim dalam 8-14 hari kerja. Buku dikirim kurir lokal dengan nomor lacak
HARGA NORMAL
Rp. 1.490.000
HARGA HARI INI
Rp. 1.267.000
Add to My List

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
by Jones, Cliff B.    Liu, Zhiming    Woodcock, Jim
(Paperback - English - 9783540752202)
This Festschrift volume is published to honour both Dines Bj rner 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 of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007. The papers cover a broad spectrum of subjects. ..
Read More
Available
Biasanya terkirim dalam 8-14 hari kerja. Buku dikirim kurir lokal dengan nomor lacak
HARGA NORMAL
Rp. 1.502.000
HARGA HARI INI
Rp. 1.277.000
Add to My List

Reflections on the Work of C.A.R. Hoare
by Jones, Cliff B.    Roscoe, A. W.    Wood, Kenneth R.
(Paperback - English - 9781447161523)
Insight, Inspiration and Collaboration C. B. Jones and A. W. Roscoe From CSP to Game Semantics Samson Abramsky On Mereologies in Computing Science Dines Bj rner Roles, Stacks, Histories: A Triple for Hoare Johannes Borgstrom, Andrew D. Gordon and Riccardo Pucella Forward with Hoare Mike Gordon and Helene Collavizza Probabilistic Programming with Coordination He Jifeng The Operational Principle and Problem Frames Michael Jackson The Role of Auxiliary Variables in the Formal Development of Concurrent Programs Cliff B. Jones Avoid a Void: The Eradication of Null Dereferencing Bertrand Meyer, Alexander Kogtenkov and Emmanuel Stapf Unfolding CSP Mikkel Bundgaard and ..
Read More
Available
Biasanya terkirim dalam 8-14 hari kerja. Buku dikirim kurir lokal dengan nomor lacak
HARGA NORMAL
Rp. 4.211.000
HARGA HARI INI
Rp. 3.580.000
Add to My List

Understanding Programming Languages
by Jones, Cliff B.       
(Hardcover - English - 9783030592561)
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 that can be used as a basis for reasoning about that language nor can it serve as a definition of a programming language itself since this must allow a range of implementations. By writing a formal semantics of a language a designer can yield a far shorter description and tease out, analyse and record design choices. br Early in the book the author introduces a simple ..
Read More
Available
Biasanya terkirim dalam 8-14 hari kerja. Buku dikirim kurir lokal dengan nomor lacak
HARGA NORMAL
Rp. 2.037.000
HARGA HARI INI
Rp. 1.732.000
Add to My List