Mathematical Methods in Program Development (NATO ASI Subseries F:, 158)

Broy M., Schieder B. (eds.)

قیمت نهایی

۴۴٬۰۰۰ تومان۴۹٬۰۰۰ تومان۱۰٪ تخفیف

تخفیف زمان‌دار−۵٬۰۰۰ تومان

۵٬۰۰۰ تومان صرفه‌جویی نسبت به قیمت اصلی

نسخه اصلی و اورجینال

بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.

تحویل فوری

پرداخت امن

ضمانت فایل

پشتیبانی

مشخصات کتاب

نویسنده: Broy M., Schieder B. (eds.)
ناشر: Springer Berlin / Heidelberg
سال انتشار: ۱۹۹۷
فرمت: DJVU
زبان: انگلیسی
حجم فایل: ۵٫۰ مگابایت
شابک: 9783540631958، 9783642608582، 9783642645884، 354063195X، 3642608582، 3642645887

دربارهٔ کتاب

Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical applications, mathematical methods are needed to model the systems and to support their development and validation. Impressive progress in mathematical methods for programming software systems makes it possible to think about unifying the different approaches. This book gives a comprehensive overview of existing methods and presents some of the most recent results in applying them. The main topics are: advanced programming techniques, foundations of systems engineering, mathematical support methods, and application of the methods. The approaches presented are illustrated by examples and related to other approaches. Proceedings of the NATO Advanced Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30 - August 11, 1996

کتاب‌های مشابه

Mathematical Methods in Program Development (NATO ASI Subseries F:, 158)

۴۹٬۰۰۰ تومان

Constraint Programming (nato Asi Subseries F:)

۴۹٬۰۰۰ تومان

Program Design Calculi (nato Asi Subseries F:)

۴۹٬۰۰۰ تومان

Program Design Calculi (nato Asi Subseries F:)

۴۹٬۰۰۰ تومان

Algorithms And Model Formulations In Mathematical Programming (nato Asi Subseries F: (closed))

۴۹٬۰۰۰ تومان

Mathematical Models for Decision Support (NATO ASI Subseries F:, 48)

۴۹٬۰۰۰ تومان

Proof and Computation (Nato ASI Subseries F:, 139)

۴۹٬۰۰۰ تومان

Robotics And Artificial Intelligence (nato Asi Subseries F:)

۴۹٬۰۰۰ تومان

Automating Instructional Design, Development, And Delivery (nato Asi Series (closed) / Nato Asi Subseries F: (closed))

۴۹٬۰۰۰ تومان

Recent Developments in Decision Support Systems (Nato ASI Subseries F:, 101)

۴۹٬۰۰۰ تومان

Designing Hypermedia For Learning (nato Asi Series (closed) / Nato Asi Subseries F: (closed))

۴۹٬۰۰۰ تومان

Expert Systems And Robotics (nato Asi Series (closed) / Nato Asi Subseries F: (closed))

۴۹٬۰۰۰ تومان

قیمت نهایی

۴۴٬۰۰۰ تومان

چه کسانی این کتاب را می‌خوانند

Mathematical Methods in Program Development (NATO ASI Subseries F:, 158)

مشخصات کتاب

دربارهٔ کتاب

کتاب‌های مشابه