• usp_easy_retunsاسترجاع مجاني وسهل
  • usp_best_dealsأفضل العروض
placeholder
ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
magnifyZoom

ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

800.00
nudge icon
توصيل مجاني
nudge icon
توصيل مجاني
noon-marketplace
احصل عليه خلال 29 يوليو
اطلب في غضون 18 ساعة 50 دقيقة

خصم على الدفع

نظرة عامة على المنتج

المواصفات

الناشرSpringer
رقم الكتاب المعياري الدولي 103540402535
اللغةEnglish
تاريخ النشر20 May 2003
رقم الكتاب المعياري الدولي 139783540402534
الكاتبDidier Bert
وصف الكتابThe refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.
عدد الصفحات568 pages
مجموع السلة  800.00
placeholder
ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
800.00
800
0

نحن دائماً جاهزون لمساعدتك

تواصل معنا من خلال أي من قنوات الدعم التالية:

تسوق أينما كنت

App StoreGoogle PlayHuawei App Gallery

تواصل معنا

madamastercardvisatabbytamaraamexcod
شركة حلول نون للتسويق الالكتروني شركة شخص واحد ش.ذ.م.م1010703009 السجل التجاري302004655210003 الرقم الضريبي