دانلود کتاب Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters
کتاب چشم انداز برای مبانی سخت افزار: گروه کاری ESPRIT 8533 NADA — فصل های بررسی روش های طراحی سخت افزار جدید نسخه زبان اصلی
دانلود کتاب چشم انداز برای مبانی سخت افزار: گروه کاری ESPRIT 8533 NADA — فصل های بررسی روش های طراحی سخت افزار جدید بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters
نام کتاب : Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters
ویرایش : 1
عنوان ترجمه شده به فارسی : چشم انداز برای مبانی سخت افزار: گروه کاری ESPRIT 8533 NADA — فصل های بررسی روش های طراحی سخت افزار جدید
سری : Lecture Notes in Computer Science 1546
نویسندگان : Bernhard Möller, John V. Tucker (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1998
تعداد صفحات : 477
ISBN (شابک) : 9783540654612 , 9783540492542
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
مقدمه VI I X جدول مطالب B. Möller and J.V. Tucker (Eds.): چشم انداز برای پایه های سخت افزاری ، LNCS 1546 ، PP. 1-26 ، 1998. Springer-Verlag Berlin Heidelberg 1998 2 گروه NADA NADA GRANDROUNCTION: NIL 3 4 NADA GRANDRACTIOUCTION: NADA NADA 5 NADA NADA 5. NADA NIADA معرفی: NADA NADA 5. Introduction: NADA and NIL 9 10 The NADA Group Introduction: NADA and NIL 11 12 The NADA Group Introduction: NADA and NIL 13 14 The NADA Group Introduction: NADA and NIL 15 16 The NADA Group Introduction: NADA and NIL 17 18 The NADA Group Introduction: NADA and NIL 19 20 The NADA Group Introduction: NADA and NIL 21 22 The NADA Group Introduction: NADA and NIL 23 24 The NADA Group Introduction: NADA and NIL 25 26 گروه NADA جریان ، ترانسفورماتورهای جریان و بازنمایی دامنه B. Möller و J.V. Tucker (Eds.): چشم انداز برای پایه های سخت افزاری ، LNCS 1546 ، صص 27-68 ، 1998. Springer-Verlag Berlin Heidelberg 1998 28 J. Blanck ، V. Domain Trans Transmenberg-Hansen ، and J.V.St. Blanck ، V. Stoltenberg-Hansen ، and J.V. Tucker Streams ، Transformers and Domain 32 J. Blanck ، V. Stoltenberg-Hansen ، and J.V. Tucker ، Transformers 34 J. Blanc ، V. Stoltenberg-Hansen ، and J.V. Tucker Streams ، و J.V. Tucker ، Stoltenberg-Hansen و J.V. Tucker جریان ، ترانسفورماتورهای جریان و بازنمایی دامنه 37
فهرست مطالب :
Introduction: NADA and NIL....Pages 1-26
Streams, Stream Transformers and Domain Representations....Pages 27-68
Ideal Stream Algebra....Pages 69-116
Normalization by Evaluation....Pages 117-137
Algebraic Models of Superscalar Microprocessor Implementations: a Case Study....Pages 138-183
Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms....Pages 184-235
Towards an Algebraic Specification of the Java Virtual Machine....Pages 236-277
Grid Protocol Specifications....Pages 278-308
The Computational Description of Analogue System Behaviour....Pages 309-332
Reasoning about Imperfect Digital Systems....Pages 333-355
Formal Verification and Hardware Design with Statecharts....Pages 356-389
An Exercise in Conditional Refinement....Pages 390-420
Deductive Hardware Design: A Functional Approach....Pages 421-468
توضیحاتی در مورد کتاب به زبان اصلی :
Preface VI I X Table of Contents B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA Group Introduction: NADA and NIL 3 4 The NADA Group Introduction: NADA and NIL 5 6 The NADA Group Introduction: NADA and NIL 7 8 The NADA Group Introduction: NADA and NIL 9 10 The NADA Group Introduction: NADA and NIL 11 12 The NADA Group Introduction: NADA and NIL 13 14 The NADA Group Introduction: NADA and NIL 15 16 The NADA Group Introduction: NADA and NIL 17 18 The NADA Group Introduction: NADA and NIL 19 20 The NADA Group Introduction: NADA and NIL 21 22 The NADA Group Introduction: NADA and NIL 23 24 The NADA Group Introduction: NADA and NIL 25 26 The NADA Group Streams, Stream Transformers and Domain Representations B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 27-68, 1998. Springer-Verlag Berlin Heidelberg 1998 28 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 29 30 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 31 32 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 33 34 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 35 36 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 37