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

The study of animal movement has always been a key element in ecological science, because it is inherently linked to critical processes that scale from individuals to populations and communities to e …

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. …

Priced very competitively compared with other textbooks at this level! This gracefully organized textbook reveals the rigorous theory of probability and statistical inference in the style of a tutori …

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 …

Presents the proceedings of the Second International Conference on Commutative Ring Theory in Fes, Morocco. The text details developments in commutative algebra, highlighting the theory of rings and …

This book contains the major works of Ivan Georgievich Petrowsky on systems of partial differential equations and algebraic geometry. The articles are of crucial importance for the topology of real …

What are numbers? Where do they come from? Are there different kings of number? Why was Pythagoras fascinated by triangular and square numbers? Is there a link between perfect numbers and primes? In …

Over the last few decades, research in elastic-plastic torsion theory, electrostatic screening, and rubber-like nonlinear elastomers has pointed the way to some interesting new classes of minimum …

The Monte Carlo method is a numerical method of solving mathematical problems through random sampling. As a universal numerical technique, the method became possible only with the advent of …

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part …