مشخصات کتاب

Elements of Microcomputer Interfacing

ویرایش:  
نویسندگان: Dines Bjorner,  C.A.R. Hoare,  Hans Langmaack  
سری: Lecture Notes in Computer Science 428 
ISBN (شابک) : 3540525130, 9783540525134 
ناشر: Brady Co ,U.S. 
سال نشر: 1990 
تعداد صفحات: 596 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 Mb 

در صورت تبدیل فایل کتاب Elements of Microcomputer Interfacing به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب عناصر رابط میکرو رایانه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب عناصر رابط میکرو رایانه

جلد حاضر سومین مجموعه از مجموعه مقالات سمپوزیوم VDM است. VDM، روش توسعه وین، یک روش رسمی برای مهندسی نرم افزار است، Z به Zermelo، ریاضیدانی که نامش با نظریه مجموعه ها مرتبط است، اشاره دارد. بسیاری از مقالات علوم محاسبات، برنامه نویسی و مهندسی نرم افزار به طور منظم منتشر می شوند. آنهایی که توسط VDM Europe ساخته شده اند این علامت متمایز را دارند که به دنبال آوردن نظریه واقعی برای اعمال برنامه نویسی واقعی هستند. در اروپا، علاقه زیادی به روش‌شناسی، معناشناسی و تکنیک‌ها وجود دارد، یعنی درک اینکه چگونه می‌سازیم و چه چیزی را می‌سازیم. مقالات این دادرسی اساساً به چهار گروه عمده تقسیم می شوند: کاربردها، روش شناسی، رسمی سازی ها و مبانی. گروه روش شناسی بیشتر به پنج حوزه تقسیم شده است: روش مشخصات، روش طراحی، مدولاریت، شی گرایی، و فرآیندها، همزمانی و سیستم های توزیع شده.

توضیحاتی درمورد کتاب به خارجی

The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematician whose name is associated with set theory. Many computing science, programming and software engineering proceedings are published regularly. The ones by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming. In Europe, there is very much interest in methodology, semantics and techniques, that is, in understanding how we build and what it is that we are building. The papers of these proceedings basically fall into four major groups: Applications, Methodology, Formalisations, and Foundations. The Methodology group has been further subdivided into five areas: Specification Methodology, Design Methodology, Modularity, Object Orientedness, and Processes, Concurrency and Distributed Systems.

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Handbook of Meta-analysis in Ecology and Evolution

دانلود کتاب Ascribe to the Lord: Biblical and Other Essays in Memory of Peter C. Craigie (JSOT Supplement Series)

دانلود کتاب Bloodring (Rogue Mage, Book 1)

دانلود کتاب The Science of Science

دانلود کتاب Defensive Publishing: Handlungsfreiheit und die Aneignung von Innovationsgewinnen