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

Verified Software. Theories, Tools, and Experiments

9th International Conference, VSTTE 2017, Heidelberg, German...

Verified Software. Theories, Tools, and Experiments
By Andrei Paskevich, Thomas Wies
Publisher: Springer, 2017-12-15
Pages: 223
Language: en
ISBN_13:9783319723082
ISBN_10:3319723081
Subject: Computers

Verified Software: Theories, Tools and Experiments

6th International Conference, VSTTE 2014, Vienna, Austria, J...

Verified Software: Theories, Tools and Experiments
By Dimitra Giannakopoulou, Daniel Kroening
Publisher: Springer, 2014-10-13
Pages: 291
Language: en
ISBN_13:9783319121543
ISBN_10:3319121545
Subject: Computers

Verified Software. Theories, Tools, and Experiments

8th International Conference, VSTTE 2016, Toronto, ON, Canad...

Verified Software. Theories, Tools, and Experiments
By Sandrine Blazy, Marsha Chechik
Publisher: Springer, 2016-11-07
Pages: 212
Language: en
ISBN_13:9783319488691
ISBN_10:3319488694
Subject: Computers

Verified Software. Theories, Tools, and Experiments

10th International Conference, VSTTE 2018, Oxford, UK, July ...

Verified Software. Theories, Tools, and Experiments
By Ruzica Piskac, Philipp Rümmer
Publisher: Springer, 2018-11-23
Pages: 359
Language: en
ISBN_13:9783030035921
ISBN_10:3030035921
Subject: Computers

Verified Software: Theories, Tools, and Experiments

7th International Conference, VSTTE 2015, San Francisco, CA,...

Verified Software: Theories, Tools, and Experiments
By Arie Gurfinkel, Sanjit A. Seshia
Publisher: Springer, 2016-02-12
Pages: 232
Language: en
ISBN_13:9783319296135
ISBN_10:3319296132
Subject: Computers

Verified Software. Theories, Tools and Experiments.

14th International Conference, VSTTE 2022, Trento, Italy, Oc...

Verified Software. Theories, Tools and Experiments.
By Akash Lal, Stefano Tonetta
Publisher: Springer Nature, 2023-01-31
Pages: 176
Language: en
ISBN_13:9783031258039
ISBN_10:3031258037
Subject: Computers

Verified Software. Theories, Tools, and Experiments

11th International Conference, VSTTE 2019, New York City, NY...

Verified Software. Theories, Tools, and Experiments
By Supratik Chakraborty, Jorge A. Navas
Publisher: Springer Nature, 2020-03-13
Pages: 208
Language: en
ISBN_13:9783030416003
ISBN_10:3030416003
Subject: Computers

Verified Software: Theories, Tools, Experiments

4th International Conference, VSTTE 2012, Philadelphia, PA, ...

Verified Software: Theories, Tools, Experiments
By Rajeev Joshi, Peter Müller, Andreas Podelski
Publisher: Springer, 2012-01-28
Pages: 336
Language: en
ISBN_13:9783642277054
ISBN_10:3642277055
Subject: Computers

Verified Software: Theories, Tools, Experiments

Second International Conference, VSTTE 2008, Toronto, Canada...

Verified Software: Theories, Tools, Experiments

Verified Software: Theories, Tools, Experiments

Second International Conference, VSTTE 2008, Toronto, Canada...

Verified Software: Theories, Tools, Experiments
By Natarajan Shankar, Jim Woodcock
Publisher: Springer, 2008-09-26
Pages: 274
Language: en
ISBN_13:9783540878735
ISBN_10:3540878734
Subject: Computers

Verified Software: Theories, Tools, Experiments

Third International Conference, VSTTE 2010, Edinburgh, UK, A...

Verified Software: Theories, Tools, Experiments

Verified Software: Theories, Tools, Experiments

First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switz...

Verified Software: Theories, Tools, Experiments

Verified Software: Theories, Tools, Experiments

4th International Conference, VSTTE 2012, Philadelphia, PA, ...

Verified Software: Theories, Tools, Experiments
By Rajeev Joshi, Peter Müller, Andreas Podelski
Publisher: Springer, 2012-02-28
Pages: 326
Language: en
ISBN_10:3642277063
ISBN_13:9783642277061
Subject: Computers

Verified Software: Theories, Tools, Experiments

Third International Conference, VSTTE 2010, Edinburgh, UK, A...

Verified Software: Theories, Tools, Experiments
By Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani
Publisher: Springer, 2010-08-12
Pages: 225
Language: en
ISBN_13:9783642150579
ISBN_10:3642150578
Subject: Computers

Verified Software. Theories, Tools and Experiments

15th International Conference, VSTTE 2023, Ames, IA, USA, Oc...

Verified Software. Theories, Tools and Experiments

Verified Software

Theories, Tools and Experiments : 15th International Confere...

Verified Software

Verified Software: Theorie, Tools, Experiments

5th International Conference, VSTTE 2013, Menlo Park, CA, US...

Verified Software: Theorie, Tools, Experiments
By Ernie Cohen, Andrey Rybalchenko
Publisher: Springer, 2014-01-15
Pages: 358
Language: en
ISBN_13:9783642541087
ISBN_10:3642541089
Subject: Computers

Verified Software: Theories, Tools, Experiments

Second International Conference, VSTTE 2008, Toronto, Canada...

Verified Software: Theories, Tools, Experiments
By Natarajan Shankar, James Woodcock
Publisher: Springer, 2009-08-29
Pages: 263
Language: en
ISBN_10:3540880224
ISBN_13:9783540880226
Subject: Computers

Verified Software: Theorie, Tools, Experiments

5th International Conference, VSTTE 2013, Menlo Park, CA, US...

Verified Software: Theorie, Tools, Experiments
By Ernie Cohen, Andrey Rybalchenko
Publisher: Springer, 2014-01-23
Pages: 345
Language: en
ISBN_10:3642541070
ISBN_13:9783642541070
Subject: Computers

Theories of Programming

The Life and Works of Tony Hoare

Theories of Programming
By Cliff B. Jones, Jayadev Misra
Publisher: Morgan & Claypool, 2021-09-26
Pages: 452
Language: en
ISBN_13:9781450387316
ISBN_10:1450387314
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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