Author: J. R. Abrial
Publisher: Cambridge University Press
Keywords: meanings, programs, assigning, book
Number of Pages: 813
Published: 1996-10-13
List price: $104.99
ISBN-10: 0521496195
ISBN-13: 9780521496193

The B method is a means for specifying, designing and coding software systems. The long-awaited B Book is the standard reference for everything concerning this method. It contains the mathematical basis on which it is founded, the precise definitions of the notations used, and a large number of examples illustrating its use in practice. J.-R. Abrial, the inventor of B, has written the book in such a way that it can be used for self-study or for reference. It is in four parts, the first dealing with the mathematical foundations, including a systematic construction of predicate logic and set the

Author: Environment, and Resources Commission on Geoscienc
Publisher: National Academies Press
Keywords: resources, natural, value, economic, assigning
Number of Pages: 196
Published: 1994-01-01
List price: $54.75
ISBN-10: 0309051436
ISBN-13: 9780309051439

There has been a lot of discussion among policymakers, particularly within the Clinton Administration, about how to make U.S. economic indicators, such as GNP, more accurately reflect the state of the environment. This book explores the major issues and controversies involved in incorporating natural resources and the environment into economic accounts. The first section of the volume, based largely on a three-day workshop of experts in the field, explains the possibilities and pitfalls in so-called "green" accounting. This is followed by a selection of nine individually authored papers, inclu

Author: Michael Wintle
Publisher: Editions Rodopi BV
Keywords: identity, studia, imagologica, modernity, assigning, constructing, image, culture
Number of Pages: 281
Published: 2006-10-15
List price: $73.00
ISBN-10: 9042020644
ISBN-13: 9789042020641

The pervading theme of this book is the construction and allocation of identity, especially through images and imagery. The essays analyse how the dominant social discourses and imageries construct identity or assign subject positions in relation to the categories of race, nation, region, gender and language. The volume is designed to inform the study of those categories in cultural studies, sociology, anthropology, gender studies, literary studies, philosophy and history. Its coverage is geographically global, multidisciplinary, and theoretically eclectic, but also accessible. The authors inc