دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings
دانلود کتاب VDM '87 VDM — یک روش رسمی در کار: VDM-Europe Symposium 1987 بروکسل، بلژیک، 23 تا 26 مارس 1987 مجموعه مقالات
مشخصات کتاب
VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings
ویرایش: [1 ed.] نویسندگان: Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (eds.) سری: Lecture Notes in Computer Science 252 ISBN (شابک) : 3540176543, 9783540176541 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1987 تعداد صفحات: 422 [431] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 30,000
در صورت تبدیل فایل کتاب VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب VDM '87 VDM — یک روش رسمی در کار: VDM-Europe Symposium 1987 بروکسل، بلژیک، 23 تا 26 مارس 1987 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب VDM '87 VDM — یک روش رسمی در کار: VDM-Europe Symposium 1987 بروکسل، بلژیک، 23 تا 26 مارس 1987 مجموعه مقالات
معاینات اولیه ستون فقرات گردنی همیشه با استفاده از اشعه ایکس انجام می شود و در بیشتر موارد این موارد به عنوان مبنایی برای تشخیص کافی است. بدشکلی ها، تومورها و اغلب تروما، روماتیسم و حتی دردهای معمولی گردن نیاز به معاینه رادیولوژیک ستون فقرات دارند. با این حال، ارزیابی دشوار است. اگر مهره گردنی را در دست بگیرید، متوجه می شوید که چه ساختار پیچیده ای است. در تصاویر رادیولوژیکی، ارزیابی با همپوشانی قطعات استخوانی، تجمعات و زوایای دید متفاوت حتی دشوارتر می شود. کتاب J.-F. Bonneville و F. Cattin یک روش اصلی برای تفسیر رادیوگرافی ارائه می دهند که ارزیابی را بسیار ساده تر می کند. این کتاب نشان می دهد که توموگرام های کامپیوتری دو یا سه بعدی می توانند کمک بسیار خوبی برای درک تصاویر معمولی اشعه ایکس باشند. خواننده به تک تک قسمت‌های استخوان دسترسی پیدا می‌کند و از آن به بعد همه چیز ساده می‌شود، همپوشانی‌ها ناپدید می‌شوند، تله‌های پنهان در اشعه ایکس قابل مشاهده می‌شوند، آناتومی پیروز می‌شود، تصویر جان می‌گیرد. ستون فقرات گردنی J.-F. Bonneville و F. Cattin برای هر رادیولوژیست در کار روزانه خود، بلکه برای جراحان، روماتولوژیست ها و فیزیوتراپیست های علاقه مند به ستون فقرات گردنی ضروری است.
توضیحاتی درمورد کتاب به خارجی
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: Origins, hopes, and achievements....Pages 1-18
Experience using VDM in STC....Pages 19-32
VDM in three generations of Ada formal descriptions....Pages 33-48
Experience with VDM in NORSK DATA....Pages 49-62
Using VDM in an Object-Oriented development method for Ada software....Pages 63-76
The stepwise development of software development graphs — Meta-programming VDM developments....Pages 77-96
Heap storage specification and development....Pages 97-105
VDM as a specification method for telecommunications software....Pages 106-109
Support environments for VDM....Pages 110-117
Development and application of a META IV compiler....Pages 118-140
From VDM to RAISE....Pages 141-150
Denotational engineering or from denotations to syntax....Pages 151-209
A type model for VDM....Pages 210-236
A formal description of object-oriented programming using VDM....Pages 237-259
VDM proof obligations and their justification....Pages 260-286
Mathematical structures and their morphisms in Meta-IV....Pages 287-320
Objectives of the British Standardisation of a language to support the Vienna development method....Pages 321-323
Use of VDM within CCITT....Pages 324-330
A formal semantics for a DataFlow Machine — Using VDM....Pages 331-355
Introduction to the VDM tutorial....Pages 356-361
Specification by data types....Pages 362-388
Data reification and program decomposition....Pages 389-422
