دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic and Algebra of Specification
دانلود کتاب منطق و جبر مشخصات
مشخصات کتاب
Logic and Algebra of Specification
ویرایش: 1 نویسندگان: Wilfried Brauer (auth.), Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg (eds.) سری: NATO ASI Series, 94 ISBN (شابک) : 9783642634482, 3642634486 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1993 تعداد صفحات: 448 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 29,000
کلمات کلیدی مربوط به کتاب منطق و جبر مشخصات: طراحی منطق، شبکه های ارتباطی کامپیوتری، تکنیک های برنامه نویسی، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها
در صورت تبدیل فایل کتاب Logic and Algebra of Specification به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق و جبر مشخصات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Front Matter....Pages i-vii
Distributed Action Systems....Pages 1-30
Lectures on:Classical Proofs as Programs....Pages 31-61
Linear Logic: A Survey....Pages 63-112
Some proof-theoretic aspects of logic programming....Pages 113-142
The Safety-Progress Classification....Pages 143-202
The Polyadic π-Calculus: a Tutorial....Pages 203-246
An Introduction to Action Semantics....Pages 247-288
Minimal Logic for Computable Functions....Pages 289-320
Infinite Synchronous Concurrent Algorithms The Algebraic Specification and Verification of a Hardware Stack....Pages 321-375
Four Lectures on Primitive Recursion....Pages 377-410
Structured Specifications: Syntax, Semantics and Proof Calculus....Pages 411-442
Back Matter....Pages 443-444
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Climate Governance in the Arctic
دانلود کتاب Investment Strategy in Heating and CHP : Mathematical Models
دانلود کتاب The Throne of Adulis: Red Sea Wars on the Eve of Islam
دانلود کتاب Topographic Organization of the Pectine Neuropils in Scorpions: An Analysis of Chemosensory Afferents and the Projection Pattern in the Central Nervous System
