کتاب های جدید

کتاب های برگزیده

دانلود کتاب The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program

The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program

ستون فقرات نرم افزار: طراحی نرم افزار قابل اثبات درست: نظریه و عمل یا مقدمه ای ریاضی در معنای برنامه کامپیوتر

زبان : English

نویسندگان : Robert Laurence Baber

ناشر : John Wiley & Sons Inc

سال انتشار : 1988

ISBN (شابک) : 0471914746, 9780471914747

ویرایش : [1 ed.]

سری : Cambridge texts in the history of philosophy

تعداد صفحات : 164

حجم : 67 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان




اطمینان از خرید




کتاب های دیگر

دانلود کتاب Hospitality Financial Management

دانلود کتاب Recent Advances in Intrusion Detection: 10th International Symposium, RAID 2007, Gold Goast, Australia, September 5-7, 2007. Proceedings

دانلود کتاب Growing Plantation Forests

دانلود کتاب Polluters: the Making of Our Chemically Altered Environment

دانلود کتاب Network Programming with Perl

دانلود کتاب The Electromagnetic Mass and Momentum of a Spinning Electron

دانلود کتاب Miss, tome 3 : Blanc comme le lys

دانلود کتاب Toxicological profiles - Thallium

دانلود کتاب Extended irreversible thermodynamics

دانلود کتاب Brunswick Troops 1809–15

دانلود کتاب Combinatorial set theory: Partition relations for cardinals

دانلود کتاب

دانلود کتاب VizSEC 2007: Proceedings of the Workshop on Visualization for Computer Security (Mathematics and Visualization)

دانلود کتاب Cardiovascular Development and Congenital Malformations: Molecular & Genetic Mechanisms

دانلود کتاب A Workforce Divided: Community, Labor, and the State in Saint-Nazaire's Shipbuilding Industry, 1880-1910

دانلود کتاب Microsoft Windows 7 On Demand

دانلود کتاب The Laser Guidebook

دانلود کتاب Teaching Psychology. A Step by Step Guide

دانلود کتاب Proteasomes : The World of Regulatory Proteolysis

دانلود کتاب Web Information Systems Engineering – WISE 2008 Workshops: WISE 2008 International Workshops, Auckland, New Zealand, September 1-4, 2008. Proceedings

کتاب های دیگر

دانلود کتاب "And the Two Shall Become One Flesh": A Study of Traditions in Ephesians 5: 21-33

دانلود کتاب Tocqueville's Political Economy

دانلود کتاب The Smoking Horse: A Memoir in Pieces

دانلود کتاب Viking patterns for knitting

دانلود کتاب Lebanon: The Fractured Country

دانلود کتاب Landing Ship, Tank (LST) 1942-2002

دانلود کتاب Crop Circles: A Beginner's Guide (Beginner's Guides)

دانلود کتاب Profitable Ideas: The Ideology of the Individual in Capitalist Development (Studies in Critical Social Sciences)

دانلود کتاب CSR and Public Accountability

دانلود کتاب Heads in Grammatical Theory

دانلود کتاب Distributed Algorithms: 2nd International Workshop Amsterdam, The Netherlands, July 8–10, 1987 Proceedings

دانلود کتاب IBM Lotus Notes and Domino 8.5.1

دانلود کتاب Modernism (Blackwell Guides to Criticism)

دانلود کتاب Spillover and Mobility of Species on Solid Surfaces

دانلود کتاب Handbook of Economic Forecasting (Handbooks in Economics)

دانلود کتاب Advanced Functional Programming: Second International School Olympia, WA, USA, August 26–30, 1996 Tutorial Text

دانلود کتاب Beginning Game Audio Programming

دانلود کتاب Chaos Applications in Telecommunications

دانلود کتاب Obsessive Compulsive Disorder: Practical Tried-and-Tested Strategies to Overcome OCD (Class Health)

دانلود کتاب AGRIPPINA: Sex, Power, and Politics in the Early Empire

پشتیبانی (تماس و واتساپ) 09117179751
(جهت شروع چت کلیک کنید)
دروازه پرداخت معتبر