E-kitap > Bilim > Matematik > Carroll Morgan & Trevor Vickers: On the Refinement Calculus (PDF)

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

Destek

Örtmek 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.

€58.04

Bu e-kitabı satın alın ve 1 tane daha ÜCRETSİZ kazanın!

Dil İngilizce ● Biçim PDF ● ISBN 9781447132738 ● Editör Carroll Morgan & Trevor Vickers ● Yayımcı Springer London ● Yayınlanan 2012 ● İndirilebilir 3 kez ● Döviz EUR ● Kimlik 4669815 ● Kopya koruma Adobe DRM

DRM özellikli bir e-kitap okuyucu gerektirir

Aynı yazardan daha fazla e-kitap / Editör

Carroll Morgan Trevor Vickers

49.692 Bu kategorideki e-kitaplar

Örtmek Gary L. (The Pennsylvania State University, University Park, USA) Mullen & James A. (The Pennsylvania State University, University Park, USA) Sellers: Abstract Algebra

Gary L. (The Pennsylvania State University, University Park, USA) Mullen & James A. (The Pennsylvania State University, University Park, USA) Sellers: Abstract Algebra

Abstract Algebra: A Gentle Introduction advantages a trend in mathematics textbook publishing towards smaller, less expensive and brief introductions to primary courses. The authors move away from th …

Örtmek Elsa (University di Torino, Italy) Abbena & Alfred (University of Maryland, College Park, MD) Gray: Modern Differential Geometry of Curves and Surfaces with Mathematica

Elsa (University di Torino, Italy) Abbena & Alfred (University of Maryland, College Park, MD) Gray: Modern Differential Geometry of Curves and Surfaces with Mathematica

Presenting theory while using Mathematica in a complementary way, Modern Differential Geometry of Curves and Surfaces with Mathematica, the third edition of Alfred Gray’s famous textbook, covers how …

Örtmek Steven E. Koonin: Computational Physics

Steven E. Koonin: Computational Physics

Computational Physics is designed to provide direct experience in the computer modeling of physical systems. Its scope includes the essential numerical techniques needed to ‘do physics’ on a computer …

Örtmek Yi (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China) Chen & Yun (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China; Faculty of Engineering, University of Strathclyde, UK) Li

Yi (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China) Chen & Yun (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China; Faculty of Engineering, University of Strathclyde, UK) Li

Computational Intelligence Assisted Design framework mobilises computational resources, makes use of multiple Computational Intelligence (CI) algorithms and reduces computational costs. This book pro …

Örtmek Daniel W. Cunningham: Real Analysis

Daniel W. Cunningham: Real Analysis

Typically, undergraduates see real analysis as one of the most diﬃcult courses that a mathematics major is required to take. The main reason for this perception is twofold: Students must comprehend n …

Örtmek Bayod: p-adic Function Analysis

Bayod: p-adic Function Analysis

‘Written by accomplished and well-known researchers in the field, this unique volume discusses important research topics on p-adic functional analysis and closely related areas, provides an authorita …

Örtmek Luca (University of Parma) Lorenzi & Adbelaziz (University of Salerno) Rhandi: Semigroups of Bounded Operators and Second-Order Elliptic and Parabolic Partial Differential Equations

Luca (University of Parma) Lorenzi & Adbelaziz (University of Salerno) Rhandi: Semigroups of Bounded Operators and Second-Order Elliptic and Parabolic Partial Differential Equations

Semigroups of Bounded Operators and Second-Order Elliptic and Parabolic Partial Differential Equations aims to propose a unified approach to elliptic and parabolic equations with bounded and smooth c …

Örtmek Nguyen Viet Dung: Extending Modules

Nguyen Viet Dung: Extending Modules

Module theory is an important tool for many different branches of mathematics, as well as being an interesting subject in its own right. Within module theory, the concept of injective modules is part …

Örtmek A J. Lee: U-Statistics

A J. Lee: U-Statistics

In 1946 Paul Halmos studied unbiased estimators of minimum variance, and planted the seed from which the subject matter of the present monograph sprang. The author has undertaken to provide experts a …

Örtmek Manfred Stoll: Introduction to Real Analysis

Manfred Stoll: Introduction to Real Analysis

This classic textbook has been used successfully by instructors and students for nearly three decades. This timely new edition offers minimal yet notable changes while retaining all the elements, pre …

Sonraki Sayfa >>>