This book summarizes work done by the authors under the Esprit Tool Use project (1985-1990), at GMD in Karlsruhe and at Berlin University of Technology. It provides a comprehensive description of the generic development language Deva designed by the authors. Much of the research reported in this monograph is inspired by the work of Michel Sintzoff on formal program development; he contributed an enlightening Foreword. Deva is essentially a typed functional language with certain deduction rules. The difference with ordinary languages is, of course, the application domain: the types serve here to express propositions such as specifications or programs, rather than just data classes. Its practical applicability was tested on several non-trivial case studies. The whole book is written using the DVWEB system, a WEB for Deva, beeing implemented at the Berlin University of Technology.

The Generic Development Language Deva: Presentation and Case Studies (Lecture Notes in Computer Science)

Computers & Technology

SIMONS, Martin

Weber, Matthias

Lafontaine, Christine

Computer Science

Springer, Verlag

Twenty years after its first publication, this book continues to be regarded as the standard work on model aircraft, attracting worldwide interest and approval. This new edition includes new sections incorporating new research and developments in model flying practice. The book presents standard aerodynamic theory as it applies to model flight in a concise and practical form for enthusiasts wishing to better understand the behavior of their models in flight.

Model Aircraft Aerodynamics

Crafts, Hobbies & Home

Crafts & Hobbies

Fountain Pr Ltd

This book explains in simple terms without arithmetic, the basic aerodynamic factors affecting radio controlled flying models. It shows how a little theory can be turned to practical advantage, enhancing model performance and the enjoyment experienced by the model flier.

Model Flight

Humor & Entertainment

Puzzles & Games

Chris Lloyd Sales & Marketing

The World's Vintage Sailplanes 1908-45

Kookaburra Technical Publications

Jenny Rat

Literature & Fiction

Erotica

Xlibris

Cities at Sea is a story set a couple of thousand years from now. Land-based civilization collapsed long ago as a result of climate change, flooding and impoverishment of soils, wars, and other causes. Knowing that about three quarters of the globe is covered by the sea, all the major coastal cities of the globe saved themselves by moving onto the oceans, developing gigantic, highly sophisticated, entirely self-sufficient rafts on which they now navigate at will. Life is easy in the raft cities for those who conform but is strictly disciplined under constant surveillance. Sal is a restless young woman who longs for something exciting. She imagines a more intimate connection with the sea and its creatures. She seeks help from a renowned genetic scientist. This leads to extraordinary adventures and changes in her and the city where she now lives. The story ends as a new era begins.

Cities at Sea

Science Fiction & Fantasy

Science Fiction

This work describes every Slingsby sailplane and glider from the British Falcon of 1931 to the last motorless aircraft produced - the Vega. Each type is illustrated with a full-page three-view drawing, with photographs and text outlining the background to the design. The drawings are based on the original workshop plans. Slingsby was for 40 years the main, and for most of the time only, producer of gliders and sailplanes in Britain. The company was one of the first to use glass-fibre reinforced plastics in production aircraft as early as 1953 and carbon-fibre composite materials for main structural members.

Slingsby Sailplanes

Airlife Publishing

German air attache: the thrilling story of the German Ace pilot and wartime diplomat Peter Riedel

Biographies & Memoirs

Airlife Publishing Ltd.

Motorbooks Intl

Aimed at modellers, hobbyists, disciples of alternative energy, and those hooked on sports such as yachting, hang-gliding and parachuting, this book examines and describes the many ways in which the physical properties of wind and air can be confronted, harnessed and exploited.

Airflow

See the best price to sell, buy, or rent books by SIMONS, Martin. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by SIMONS, Martin