Catalog > Sciences > Math > M. Broy & Gunther Schmidt: Theoretical Foundations of Programming Methodology (PDF)

M. Broy & Gunther Schmidt
Theoretical Foundations of Programming Methodology [PDF ebook]
Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Support

Cover of M. Broy & Gunther Schmidt: Theoretical Foundations of Programming Methodology (PDF)

€57.99

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● ISBN 9789400978935 ● Editor M. Broy & Gunther Schmidt ● Publisher Springer Netherlands ● Published 2012 ● Downloadable 3 times ● Currency EUR ● ID 4716849 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

M. Broy Gunther Schmidt

49,025 Ebooks in this category

Cover of Ivan Cimrak & Iveta Jancigova: Computational Blood Cell Mechanics

Ivan Cimrak & Iveta Jancigova: Computational Blood Cell Mechanics

Simulating blood cells for biomedical applications is a challenging goal. Whether you want to investigate blood flow behavior on the cell scale, or use a blood cell model for fast computational proto …

Cover of G.H Kirov: Approximation with Quasi-Splines

G.H Kirov: Approximation with Quasi-Splines

In the theory of splines, a function is approximated piece-wise by (usually cubic) polynomials. Quasi-splines is the natural extension of this, allowing us to use any useful class of functions adapte …

Cover of Ming Lu: Development and Application of Discontinuous Modelling for Rock Engineering

Ming Lu: Development and Application of Discontinuous Modelling for Rock Engineering

The thirty papers published in this book represent the latest developments in Discontinuous Deformation Analysis (DDA). The Numerical Manifold Method (NMM) and other numerical methods and their appli …

Cover of Chris Chatfield: Introduction to Multivariate Analysis

Chris Chatfield: Introduction to Multivariate Analysis

This book provides an introduction to the analysis of multivariate data.It describes multivariate probability distributions, the preliminary analysisof a large -scale set of data, princ iple componen …

Cover of Clarence W. (University of British Columbia, Vancouver, Canada) de Silva: Intelligent Control

Clarence W. (University of British Columbia, Vancouver, Canada) de Silva: Intelligent Control

The emergence of fuzzy logic and its applications has dramatically changed the face of industrial control engineering. Over the last two decades, fuzzy logic has allowed control engineers to meet and …

Cover of Carl Faith: Injective Modules and Injective Quotient Rings

Carl Faith: Injective Modules and Injective Quotient Rings

First published in 1982. These lectures are in two parts. Part I, entitled injective Modules Over Levitzki Rings , studies an injective module E and chain conditions on the set A^(E, R) of right idea …

Cover of David J. (Naval Surface Warfare Center, Dahlgren, Virginia, USA) Marchette & Rakesh M. (University of Houston, Texas, USA) Verma: Cybersecurity Analytics

David J. (Naval Surface Warfare Center, Dahlgren, Virginia, USA) Marchette & Rakesh M. (University of Houston, Texas, USA) Verma: Cybersecurity Analytics

Cybersecurity Analytics is for the cybersecurity student and professional who wants to learn data science techniques critical for tackling cybersecurity challenges, and for the data science student a …

Cover of Rasajit Kumar (Department of Science, NITTTR, Kolkata, India) Bera & Arabinda (Department of Applied Mathematics, University of Calcutta, Kolkata, INDIA) Roy: Linear and Non-Linear Deformations of Elastic Solids

Rasajit Kumar (Department of Science, NITTTR, Kolkata, India) Bera & Arabinda (Department of Applied Mathematics, University of Calcutta, Kolkata, INDIA) Roy: Linear and Non-Linear Deformations of Elastic Solids

Linear and Non-Linear Deformations of Elastic Solids aims to compile the advances in the field of linear and non-linear elasticity through discussion of advanced topics. Broadly classified into two p …

Cover of Rupert Lasser: Introduction to Fourier Series

Rupert Lasser: Introduction to Fourier Series

This work addresses all of the major topics in Fourier series, emphasizing the concept of approximate identities and presenting applications, particularly in time series analysis. It stresses through …

Cover of Lakshmikantham: nonlinear analysis and applications

Lakshmikantham: nonlinear analysis and applications

This book attempts to put together the works of a wide range of mathematical scientists. It consists of the proceedings of the Seventh Conference on ‘Nonlinear Analysis and Applications’ including pa …