Електронна книга > Наука > Математика > Carroll Morgan & Trevor Vickers: On the Refinement Calculus (PDF)

Carroll Morgan & Trevor Vickers
On the Refinement Calculus [PDF ebook]

поддержка

Обложка Carroll Morgan & Trevor Vickers: On the Refinement Calculus (PDF)

On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together — among other things — Z specifications and Dijkstra’s programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.

€57.27

Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!

язык английский ● Формат PDF ● ISBN 9781447132738 ● редактор Carroll Morgan & Trevor Vickers ● издатель Springer London ● опубликованный 2012 ● Загружаемые 3 раз ● валюта EUR ● Код товара 4669815 ● Защита от копирования Adobe DRM

Требуется устройство для чтения электронных книг с поддержкой DRM

Больше книг от того же автора (ов) / редактор

Carroll Morgan Trevor Vickers

48 216 Электронные книги в этой категории

Обложка Weinan E: Applied Stochastic Analysis

Weinan E: Applied Stochastic Analysis

This is a textbook for advanced undergraduate students and beginning graduate students in applied mathematics. It presents the basic mathematical foundations of stochastic analysis (probability …

Обложка Michael Joswig: Essentials of Tropical Combinatorics

Michael Joswig: Essentials of Tropical Combinatorics

The goal of this book is to explain, at the graduate student level, connections between tropical geometry and optimization. Building bridges between these two subject areas is fruitful in two ways. …

Обложка Trevor Campbell & Melissa Lee: Data Science

Trevor Campbell & Melissa Lee: Data Science

Data Science: A First Introduction focuses on using the R programming language in Jupyter notebooks to perform data manipulation and cleaning, create effective visualizations, and extract insights fr …

Обложка Zbigniew Ficek: Problems and Solutions in Quantum Physics

Zbigniew Ficek: Problems and Solutions in Quantum Physics

Readers studying the abstract field of quantum physics need to solve plenty of practical, especially quantitative, problems. This book contains tutorial problems with solutions for the textbook …

Обложка Paul (Texas A and M University, College Station, Texas, USA) Nelson: Transport Theory

Paul (Texas A and M University, College Station, Texas, USA) Nelson: Transport Theory

This book includes seminal papers on technical subjects — transport theory, invariant imbedding, and integral equations — presented as contributions to honour George Milt Wing in celebration of his …

Обложка Vladimir (Ohio University) Vinogradov: Refined Large Deviation Limit Theorems

Vladimir (Ohio University) Vinogradov: Refined Large Deviation Limit Theorems

This is a developing area of modern probability theory, which has applications in many areas. This volume is devoted to the systematic study of results on large deviations in situations where …

Обложка Zhongying (Zhongshan University) Chen & Yueshen (Zhongshan University) Li: Advances in Computational Mathematics

Zhongying (Zhongshan University) Chen & Yueshen (Zhongshan University) Li: Advances in Computational Mathematics

This volume presents the refereed proceedings of the Guangzhou International Symposium on Computational Mathematics, held at the Zhongshan University, People»s Republic of China. Nearly 90 …

Обложка Noboru (Waseda Institute for Advanced Study, Shinjuku-ku, Japan) Ito: Knot Projections

Noboru (Waseda Institute for Advanced Study, Shinjuku-ku, Japan) Ito: Knot Projections

Knot Projections offers a comprehensive overview of the latest methods in the study of this branch of topology, based on current research inspired by Arnold’s theory of plane curves, Viro’s quantizat …

Обложка Dallas E. Johnson & George A. Milliken: Analysis of Messy Data, Volume II

Dallas E. Johnson & George A. Milliken: Analysis of Messy Data, Volume II

Researchers often do not analyze nonreplicated experiments statistically because they are unfamiliar with existing statistical methods that may be applicable. Analysis of Messy Data, Volume II …

Обложка Mark (Nottingham Trent University, United Kingdom (Retired)) Breach: Essential Maths for Engineering and Construction

Mark (Nottingham Trent University, United Kingdom (Retired)) Breach: Essential Maths for Engineering and Construction

Don’t let your mathematical skills fail you! In Engineering, Construction, and Science examinations, marks are often lost through carelessness or from not properly understanding the mathematics invol …

Следущая страница >>>