Електронна книга > Наука > Математика > Didier Bert & Jonathan P. Bowen: ZB 2002: Formal Specification and Development in Z and B (PDF)

Didier Bert & Jonathan P. Bowen
ZB 2002: Formal Specification and Development in Z and B [PDF ebook]
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

поддержка

Обложка Didier Bert & Jonathan P. Bowen: ZB 2002: Formal Specification and Development in Z and B (PDF)

€57.99

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

язык английский ● Формат PDF ● ISBN 9783540456483 ● редактор Didier Bert & Jonathan P. Bowen ● издатель Springer Berlin Heidelberg ● опубликованный 2003 ● Загружаемые 3 раз ● валюта EUR ● Код товара 6318720 ● Защита от копирования Adobe DRM

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

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

Didier Bert Jonathan P. Bowen Martin C. Henson Ken Robinson

50 053 Электронные книги в этой категории

Обложка N. Balakrishnan & William Chen: CRC Handbook of Tables for Order Statistics from Inverse Gaussian Distributions with Applications

N. Balakrishnan & William Chen: CRC Handbook of Tables for Order Statistics from Inverse Gaussian Distributions with Applications

First derived within the context of life-testing, inverse Gaussian distribution has become one of the most important and widely employed distributions, and is often used to model the lifetimes of com …

Обложка David (School of Electrical, Computer, and Energy Engineering, Arizona State University) Ferry: The Copenhagen Conspiracy

David (School of Electrical, Computer, and Energy Engineering, Arizona State University) Ferry: The Copenhagen Conspiracy

At the close of the nineteenth century, we stood on the threshold of one of the greatest periods of science, in which the entire world and understanding of science would be shaken to the core and gre …

Обложка Mahir M. (Point Pleasant, New Jersey, USA) Sabzaliev & IIhama M. (Point Pleasant, New Jersey, USA) Sabzalieva: Higher Mathematics for Engineering and Technology

Mahir M. (Point Pleasant, New Jersey, USA) Sabzaliev & IIhama M. (Point Pleasant, New Jersey, USA) Sabzalieva: Higher Mathematics for Engineering and Technology

Based on and enriched by the long-term teaching experience of the authors, this volume covers the major themes of mathematics in engineering and technical specialties. The book addresses the elements …

Обложка 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 …

Обложка David (Truman State University, Kirksville, Missouri, USA) Garth & Anthony (Truman State University, Kirksville, Missouri, USA) Vazzana: Introduction to Number Theory

David (Truman State University, Kirksville, Missouri, USA) Garth & Anthony (Truman State University, Kirksville, Missouri, USA) Vazzana: Introduction to Number Theory

Introduction to Number Theory is a classroom-tested, student-friendly text that covers a diverse array of number theory topics, from the ancient Euclidean algorithm for finding the greatest common di …

Обложка Birendra Nath (Indian Statistical Institute, Kolkata, India) Mandal & Madan Mohan (Dept. of Mathematics, Visva Bharati Central Univ., India) Panja: Wavelet Based Approximation Schemes for Singular Integral Equations

Birendra Nath (Indian Statistical Institute, Kolkata, India) Mandal & Madan Mohan (Dept. of Mathematics, Visva Bharati Central Univ., India) Panja: Wavelet Based Approximation Schemes for Singular Integral Equations

Many mathematical problems in science and engineering are defined by ordinary or partial differential equations with appropriate initial-boundary conditions. Among the various methods, boundary integ …

Обложка Brian thomson: Symmetric Properties of Real Functions

Brian thomson: Symmetric Properties of Real Functions

This work offers detailed coverage of every important aspect of symmetric structures in function of a single real variable, providing a historical perspective, proofs and useful methods for addressin …

Обложка L .A. Lugiato & E. Roy Pike: Chaos, Noise and Fractals

L .A. Lugiato & E. Roy Pike: Chaos, Noise and Fractals

The study of nonlinear dynamical systems has been gathering momentum since the late 1950s. It now constitutes one of the major research areas of modern theoretical physics. The twin themes of fractal …

Обложка Alain Berard & Alphonse Charlier: Tensors and the Clifford Algebra

Alain Berard & Alphonse Charlier: Tensors and the Clifford Algebra

This practical reference and text presents the applications of tensors, Lie groups and algebra to Maxwell, Klein-Gordon and Dirac equations, making elementary theoretical physics comprehensible and h …

Обложка Robert Fathauer: Tessellations

Robert Fathauer: Tessellations

Tessellations: Mathematics, Art and Recreation aims to present a comprehensive introduction to tessellations (tiling) at a level accessible to non-specialists. Additionally, it covers techniques, tip …

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