تجربه خریدی متفاوت
پروفایل و آدرسهای من
برای سفارشهای چاپی، آدرس پیشفرض شما در مرحله بعد استفاده میشود.
در حال بارگذاری...
اطلاعات حساب
دفترچه آدرس
برای سفارشهای چاپی، آدرس پیشفرض شما در مرحله بعد استفاده میشود.
هنوز آدرسی ثبت نشده است.
ثبت آدرس
ورود سریع مشتری
ورود با موبایل و کد یکبار مصرف یا رمز ثابت
پروفایل و آدرسهای من
برای سفارشهای چاپی، آدرس پیشفرض شما در مرحله بعد استفاده میشود.
در حال بارگذاری...
اطلاعات حساب
دفترچه آدرس
برای سفارشهای چاپی، آدرس پیشفرض شما در مرحله بعد استفاده میشود.
هنوز آدرسی ثبت نشده است.
ثبت آدرس
José Bacelar Almeida
در حال نمایش یک نتیجه
-
Rigorous Software Development: An Introduction to Program Verification
سال چاپ: 2011ناشر: Springer