خرید کتاب از گوگل

چاپ کتاب PDF,

خرید کتاب از آمازون,

خرید کتاب زبان اصلی,

دانلود کتاب خارجی,

دانلود کتاب لاتین

تعداد نتایج: 576

The B Language and Method

A Guide to Practical Formal Development

The B Language and Method
By Kevin Lano
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 240
Language: en
ISBN_13:9781447114949
ISBN_10:1447114949
Subject: Computers

The B-method

An Introduction

The B-method
By Steve Schneider
Publisher: Palgrave MacMillan, 2001
Pages: 370
Language: en
ISBN_10:033379284X
ISBN_13:9780333792841
Subject: B method

Formal Methods Applied to Complex Systems

Implementation of the B Method

Formal Methods Applied to Complex Systems
By Jean-Louis Boulanger
Publisher: John Wiley & Sons, 2014-07-22
Pages: 342
Language: en
ISBN_13:9781119002925
ISBN_10:1119002923
Subject: Computers

B 2007: Formal Specification and Development in B

7th International Conference of B Users, Besancon, France, J...

B 2007: Formal Specification and Development in B
By Jacques Julliand, Olga Kouchnarenko
Publisher: Springer, 2006-12-12
Pages: 305
Language: en
ISBN_13:9783540687610
ISBN_10:3540687610
Subject: Computers

Formal Methods Applied to Complex Systems

Implementation of the B Method

Formal Methods Applied to Complex Systems
By Jean-Louis Boulanger
Publisher: John Wiley & Sons, 2014-07-22
Pages: 496
Language: en
ISBN_13:9781119002680
ISBN_10:1119002680
Subject: Computers

The B-Book

Assigning Programs to Meanings

The B-Book
By J. R. Abrial
Publisher: Cambridge University Press, 2005-11-03
Pages: 816
Language: en
ISBN_10:0521021758
ISBN_13:9780521021753
Subject: Computers

Modeling in Event-B

System and Software Engineering

Modeling in Event-B
By Jean-Raymond Abrial
Publisher: Cambridge University Press, 2010-05-13
Pages: 613
Language: en
ISBN_13:9781139643979
ISBN_10:1139643975
Subject: Computers

Program Development by Refinement

Case Studies Using the B Method

Program Development by Refinement

ZB 2000: Formal Specification and Development in Z and B

First International Conference of B and Z Users York, UK, Au...

ZB 2000: Formal Specification and Development in Z and B

The B-book

Assigning Programs to Meanings

The B-book

ZB 2003: Formal Specification and Development in Z and B

Third International Conference of B and Z Users, Turku, Finl...

ZB 2003: Formal Specification and Development in Z and B
By Didier Bert
Publisher: Springer Science & Business Media, 2003-05-20
Pages: 559
Language: en
ISBN_13:9783540402534
ISBN_10:3540402535
Subject: Computers

B ...

Recent Advances in the Development and Use of the B Method :...

B ...

Relational and Algebraic Methods in Computer Science

13th International Conference, RAMiCS 2012, Cambridge, Unite...

Relational and Algebraic Methods in Computer Science
By Wolfram Kahl, Timothy G. Griffin
Publisher: Springer, 2012-09-12
Pages: 361
Language: en
ISBN_13:9783642333149
ISBN_10:3642333141
Subject: Mathematics

ZB 2003: Formal Specification and Development in Z and B

Third International Conference of B and Z Users, Turku, Finl...

ZB 2003: Formal Specification and Development in Z and B

FM'99 - Formal Methods

World Congress on Formal Methods in the Developement of Comp...

FM'99 - Formal Methods
By Jeannette M. Wing, Jim Woodcook, Jim Davies
Publisher: Springer, 2003-07-31
Pages: 955
Language: en
ISBN_13:9783540481195
ISBN_10:3540481192
Subject: Computers

سایت دانلود کتاب خارجی

نحوه دانلود و خرید کتاب های خارجی

ابتدا در قسمت جستجوی سایت، کلمه کلیدی مد نظر خود را وارد کنید، سپس فیلتر مد نظر خود را انتخاب کنید که در کدام مشخصه کتاب جستجو انجام شود. پس از انتخاب فیلتر مدنظر خود (نویسنده، ناشر، شناسه ISBN، موضوع و یاهمه قسمت ها دکمه جستجو را بزنید. در نتایج می توانید کتاب خارجی مد نظر خود را انتخاب کنید و سپس درخواست خود را برای خرید کتاب خارجی ثبت کنید.

جستجو و دانلود کتاب لاتین

برای دانلود کتاب های لاتین ابتدا کلمه کلیدی خود را داخل کادر جستجو وارد کنید و سپس زبان مربوطه را انتخاب کنید (انگلیسی، اسپانیایی، فرانسوی، آلمانی و ...) و در نهایت دکمه جستجو را بزنید. از نتایج جستجو کتاب لاتین مد نظر خود را انتخاب کنید و سپس درخواست آن را ثبت کنید. همکاران ما در کمتر چند ساعت درخواست شما را بررسی و قیمت گذاری می کنند.

نحوه ثبت درخواست دانلود کتاب لاتین

پس از جستجو و یافتن کتاب و یا منابع لاتین، روی تصویر کتاب و یا دکمه درخواست کلیک کنید و سپس در صفحه ثبت درخواست، مشخصات کامل درخواست خود را بررسی و ایمیل و شماره تماس خود را وارد کنید. در نهایت همکاران ما هزینه و مدت زمان تهیه کتاب خارجی شما را بررسی و از طریق پیامک و ایمیل به شما اطلاع رسانی خواهند کرد. شما پس از پرداخت وجه روی لینک دانلود کتاب لاتین کلیک کنید و کتاب خود را دانلود و استفاده کنید.

  • کتاب زبان اصلی J.R.R
  • دانلود کتاب لاتین
  • خرید کتاب لاتین
  • خرید مانگا
  • خرید کتاب از گوگل بوکز
  • دانلود رایگان کتاب از گوگل بوکز
  • دانلود رایگان کتاب از آمازون
  • دانلود رایگان کتاب از گوگل بوکز
  • کتاب روانشناسی به انگلیسی
  • کتاب زبان اصلی
  • کتاب خارجی
  • سایت خرید کتاب زبان اصلی
  • درخواست کتاب زبان اصلی
  • سفارش کتاب زبان اصلی
  • خرید کتاب لاتین
  • دانلود کتاب زبان اصلی
  • کتاب زبان اصلی J.R.R
    ست باکس کتاب اورجینال-
    درخواست کتاب خارجی-
    سایت خرید کتاب های خارجی-
    خرید کتاب آمازون-
    درخواست کتاب از آمازون-
    خرید کیندل آمازون-
    کتاب سالیدورک زبان اصلی-
    کتاب Solidworks زبان اصلی-
    خرید کتاب کیندل-
    خرید مجله اورجینال
    ضمانت بازگشت وجه بدون شرط
    اعتماد سازی
    انتقال وجه کارت به کارت
    X

    پرداخت وجه کارت به کارت

    شماره کارت : 6104337650971516
    شماره حساب : 8228146163
    شناسه شبا (انتقال پایا) : IR410120020000008228146163
    بانک ملت به نام مهدی تاج دینی

    پس از پرداخت به صورت کارت به کارت، 4 رقم آخر شماره کارت خود را برای ما ارسال کنید.
    X