Catalog > Științe > Informatică > General, Enciclopedii > Cliff B. Jones & A.W. Roscoe: Reflections on the Work of C.A.R. Hoare (PDF)

Cliff B. Jones & A.W. Roscoe
Reflections on the Work of C.A.R. Hoare [PDF ebook]

Ajutor

Copertina de Cliff B. Jones & A.W. Roscoe: Reflections on the Work of C.A.R. Hoare (PDF)

€149.79

Cuprins

Insight, Inspiration and Collaboration.- From CSP to Game Semantics.- On Mereologies in Computing Science.- Roles, Stacks, Histories: A Triple for Hoare.- Forward with Hoare.- Probabilistic Programming with Coordination.- The Operational Principle and Problem Frames.- The Role of Auxiliary Variables in the Formal Development of Concurrent Programs.- Avoid a Void: The Eradication of Null Dereferencing.- Unfolding CSP.- Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures.- The Thousand-and-One Cryptographers.- On Process-Algebraic Extensions of Metric Temporal Logic.- Fun with Type Functions.- On CSP and the Algebraic Theory of Effects.- CSP is Expressive Enough for ?.- The Tokeneer Experiments.

Cumpărați această carte electronică și primiți încă 1 GRATUIT!

Limba Engleză ● Format PDF ● Pagini 430 ● ISBN 9781848829121 ● Mărime fișier 3.8 MB ● Editor Cliff B. Jones & A.W. Roscoe ● Editura Springer London ● Oraș London ● Țară GB ● Publicat 2010 ● Descărcabil 24 luni ● Valută EUR ● ID 2152033 ● Protecție împotriva copiilor DRM social

Mai multe cărți electronice de la același autor (i) / Editor

Cliff B. Jones A.W. Roscoe Kenneth R. Wood A. W. Roscoe

850 Ebooks din această categorie

Copertina de دون إي هولمز: البيانات الضخمة

دون إي هولمز: البيانات الضخمة

عملية جمع وتنظيم البيانات كانت جزءًا لا يتجزأ من حياتنا، فمنذ قديم الأزل وقبل ابتكار أجهزة الكمبيوتر، كانت البيانات تُعامَل وتُنظَّم في جميع أرجاء العالم. مع ظهور الكمبيوتر والإنترنت، شهدت البيانات ت …

Copertina de Martin Georg Houlberg Jensen: Outlook til meget mere

Martin Georg Houlberg Jensen: Outlook til meget mere

Outlook til meget mere med opsætninger og tilpasninger, flere og bedre genveje og opslag, muligheder sammen med andre Office-programmer og internettet, udvidelser og skjulte muligheder i og udenfor O …

Copertina de Chandra Singh & Rathishchandra R. Gatti: Modeling and Optimization of Signals Using Machine Learning Techniques

Chandra Singh & Rathishchandra R. Gatti: Modeling and Optimization of Signals Using Machine Learning Techniques

Explore the power of machine learning to revolutionize signal processing and optimization with cutting-edge techniques and practical insights in this outstanding new volume from Scrivener Publishing. …

Copertina de Émilie Kohlmann: Linking with Nature in the Digital Age

Émilie Kohlmann: Linking with Nature in the Digital Age

The use of digital technology in our societies is growing to meet the ever-increasing challenges of data collection, raising awareness, education and understanding nature. Artificial intelligence, fo …

Copertina de Daniel Alban & Philippe Eynaud: Information Systems Management

Daniel Alban & Philippe Eynaud: Information Systems Management

Information Systems Management is intended to sensitize the heads of organizations to the issues raised by information systems (IS). Through its pedagogical presentation, this book ensures that issue …

Copertina de Gerard-Michel Cochard: Introduction to Stochastic Processes and Simulation

Gerard-Michel Cochard: Introduction to Stochastic Processes and Simulation

Mastering chance has, for a long time, been a preoccupation of mathematical research. Today, we possess a predictive approach to the evolution of systems based on the theory of probabilities. Even so …

Copertina de Mehmet Sahinoglu: Cyber-Risk Informatics

Mehmet Sahinoglu: Cyber-Risk Informatics

This book provides a scientific modeling approach for conducting metrics-based quantitative risk assessments of cybersecurity vulnerabilities and threats. This book provides a scientific modeling app …

Copertina de Olivier Le Deuff: Digital Humanities

Olivier Le Deuff: Digital Humanities

Where do the digital humanities really come from? Are they really news? What are the theoretical and technical influences that participate in this scientific field that arouses interest and questions …

Copertina de Samuel Szoniecky: Ecosystems Knowledge

Samuel Szoniecky: Ecosystems Knowledge

To analyze complex situations we use everyday analogies that allow us to invest in an unknown domain knowledge we have acquired in a known field. In this work the author proposes a modeling and analy …

Copertina de Imad Saleh & Mehdi Ammi: Challenges of the Internet of Things

Imad Saleh & Mehdi Ammi: Challenges of the Internet of Things

This book will examine the issues of Io T according to three complementary axes: technique, use, ethics. The techniques used to produce artefacts (physical objects, infrastructures), programs (algori …

Pagina următoare >>>