دانلود کتاب ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 – September 2, 2000 Proceedings - بلیان

36,000تومان

مشاهده فروشگاه‌ها

معرفی اجمالی

مشخصات محصول

فروشندگان

معرفی اجمالی

ZB 2000: مشخصات رسمی و توسعه در Z و B: اولین کنفرانس بین المللی کاربران B و Z یورک، انگلستان، 29 اوت - 2 سپتامبر 2000 مجموعه مقالات موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی نوع کالا کتاب الکترونیکی ناشر Springer-Verlag Berlin Heidelberg تعداد صفحه 510 حجم فایل 3 مگابایت کد کتاب 3540679448,9783540679448 نوبت چاپ 1

فروشندگان

بلیان

دانلود کتاب ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 – September 2, 2000 Proceedings - بلیان

خرید از بلیان

36,000تومان

جستجوهای مرتبط

محصولات مشابه

دانلود کتاب Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004. Proceedings - بلیان

36,000تومان

بلیان

دانلود کتاب Database and Expert Systems Applications: 15th International Conference, DEXA 2004, Zaragoza, Spain, August 30-September 3, 2004. Proceedings - بلیان

36,000تومان

بلیان

دانلود کتاب Data Warehousing and Knowledge Discovery: 6th International Conference, DaWaK 2004, Zaragoza, Spain, September 1-3, 2004. Proceedings - بلیان

24,000تومان

بلیان

دانلود کتاب Information Security Practice and Experience: First International Conference, ISPEC 2005, Singapore, April 11-14, 2005. Proceedings - بلیان

36,000تومان

بلیان

دانلود کتاب Combinatorial Optimization and Applications: Second International Conference, COCOA 2008, St. John’s, NL, Canada, August 21-24, 2008. Proceedings - بلیان

36,000تومان

بلیان

دانلود کتاب High Performance Embedded Architectures and Compilers: Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings - بلیان

36,000تومان

بلیان

مشاهده همه محصولات مشابه

تصاویر و ویدیوهای مرتبط

مشاهده همه

خرید و قیمت دانلود کتاب ZB 2000: Formal Specification and Development in Zand B: First International Conference of B and Z Users York, UK, August 29- September 2, 2000 Proceedings (

خرید و قیمت دانلود کتاب ZB 2002: Formal Specification and Development in Zand B: 2nd International Conference of B and Z Users Grenoble, France,January 23-25, 2002, Proceedings (Lecture Notes in

ZB 2000: Formal Specification and Development in Z and B: FirstInternational Conference of B and

خرید و قیمت دانلود کتاب Windows 2000 API SuperBible - بلیان

خرید و قیمت دانلود کتاب ZB 2005: Formal Specification and Development in Zand B: 4th International Conference of B and Z Users, Guildford, UK, April13-15, 2005. Proceedings ا ZB 2005:

ZB 2000: Formal Specification and Development in Z and B: FirstInternational Conference of B and Z Users York, UK, August 29 - September 2,2000 Proceedings: 1878 (Lecture Notes in Computer

خرید و قیمت دانلود کتاب ZB 2002:Formal Specification and Development in Zand B: 2nd International Conference of B and Z Users Grenoble, France,January 23–25, 2002 Proceedings [1 ed.] ا کتاب انگلیسی

خرید و قیمت دانلود کتاب ZB 2005: Formal Specification and Development in Zand B: 4th International Conference of B and Z Users, Guildford, UK, April13-15, 2005. Proceedings [1 ed.] | ترب

خرید و قیمت دانلود کتاب Applied Cryptography and Network Security: FirstInternational Conference, ACNS 2003, Kunming, China, October 16-19, 2003.Proceedings - بلیان

خرید و قیمت دانلود کتاب Formal Techniques in Real-Time and Fault-TolerantSystems: 6th International Symposium, FTRTFT 2000 Pune, India, September20-22, 2000 Proceedings (Lecture Notes in Computer Science, 1926) 2000 اکتاب

خرید و قیمت دانلود کتاب Formal Methods and Software Engineering: 7th InternationalConference on Formal Engineering Methods, ICFEM 2005, Manchester, UK,November 1-4, 2005. Proceedings - بلیان

خرید و قیمت دانلود کتاب Integration of AI and OR Techniques in ConstraintProgramming for Combinatorial Optimization Problems: First InternationalConference, CPAIOR 2004, Nice, France, April 20-22, 2004. Proceedings -بلیان

خرید و قیمت دانلود کتاب انگلیسی روش های رسمی یکپارچه: دومین کنفرانس بینالمللی، IFM 2000، قلعه داگستول، آلمان، 1-3 نوامبر، 2000 مجموعه مقالات(یادداشت های سخنرانی در علوم کامپیوتر، 1945) 2000