Search Results

VDM '87. VDM - A Formal Method at Work

Download or Read eBook VDM '87. VDM - A Formal Method at Work PDF written by VDM-Europe and published by Springer Science & Business Media. This book was released on 1987-03-11 with total page 436 pages. Available in PDF, EPUB and Kindle.
VDM '87. VDM - A Formal Method at Work
Author :
Publisher : Springer Science & Business Media
Total Pages : 436
Release :
ISBN-10 : 3540176543
ISBN-13 : 9783540176541
Rating : 4/5 (43 Downloads)

Book Synopsis VDM '87. VDM - A Formal Method at Work by : VDM-Europe

Book excerpt: Erste Untersuchungen der Halswirbelsäule werden stets mit Hilfe von Röntgenaufnahmen durchgeführt, und in den meisten Fällen genügen diese als Grundlage für die Diagnose. Mißbildungen, Tumoren, und noch öfter Traumata, Rheuma und sogar ganz gewöhnliche Nackenschmerzen erfordern eine radiologische Untersuchung der Wirbelsäule. Die Auswertung jedoch ist schwierig. Nimmt man einen Halswirbel in die Hand, so stellt man fest, um welch komplexes Gebilde es sich hierbei handelt. Bei radiologischen Aufnahmen wird die Auswertung noch durch die sich überlappenden Knochenteile, Anhäufungen und die verschiedenen Blickwinkel erschwert. Das Buch von J.-F. Bonneville und F. Cattin stellt eine originelle Interpretationsmethode von Röntgenaufnahmen vor, die die Auswertung wesentlich erleichtert. Dieses Buch zeigt, daß zwei- bzw. dreidimensionale Computertomogramme eine ausgezeichnete Hilfe zum Verständnis von konventionellen Röntgenbildern sein können. Der Leser bekommt gleichsam Zugang zu jedem Einzelteil des Knochens, und von da an wird alles einfach, Überlappungen verschwinden, die in der Röntgenaufnahme verborgenen Tücken werden sichtbar, die Anatomie triumphiert, das Bild lebt. Die Halswirbelsäule von J.-F. Bonneville und F. Cattin ist unentbehrlich für jeden Radiologen in seiner täglichen Praxis, aber ebenso auch für Chirurgen, Rheumatologen und Physiotherapeuten, die sich für die Halswirbelsäule interessieren.


VDM '87. VDM - A Formal Method at Work Related Books

VDM '87. VDM - A Formal Method at Work
Language: en
Pages: 436
Authors: VDM-Europe
Categories: Computers
Type: BOOK - Published: 1987-03-11 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Erste Untersuchungen der Halswirbelsäule werden stets mit Hilfe von Röntgenaufnahmen durchgeführt, und in den meisten Fällen genügen diese als Grundlage f�
Vdm '87. Vdm - a Formal Method at Work. Vdm - Vdm Europe Symposium 1987
Language: en
Pages: 422
Authors: Bj D. Orner
Categories:
Type: BOOK - Published: 1987 - Publisher:

DOWNLOAD EBOOK

VDM '87
Language: de
Pages:
Authors: D. Bjørner
Categories:
Type: BOOK - Published: 1987 - Publisher:

DOWNLOAD EBOOK

FME '93: Industrial-Strength Formal Methods
Language: en
Pages: 712
Authors: Jim Woodcock
Categories: Business & Economics
Type: BOOK - Published: 1993 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and rea
VDM '88. VDM - The Way Ahead
Language: en
Pages: 516
Authors: Robin E. Bloomfield
Categories: Computer science
Type: BOOK - Published: 1988 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a fo
Scroll to top