دانلود کتاب Formal Modelling in Electronic Commerce

Name: Formal Modelling in Electronic Commerce
Availability: InStock
Author: Steven O. Kimbrough
ISBN: 9783540214311, 9783540269892

by Steven O. Kimbrough, D.J. Wu (auth.), Professor Steven O. Kimbrough, Professor D.J. Wu (eds.)

عنوان فارسی: مدلسازی رسمی در تجارت الکترونیک
ناشر: Springer-Verlag Berlin Heidelberg
سال: 2005
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 562-556
شابک: 9783540214311, 9783540269892
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 3.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, and policies of commerce itself. These include business objects such as bills of lading and contracts; processes such as workflows and trade procedures; and policies covering such problems as contract or procedure validation and strategic behaviour. This book is about theory, formalization, and proof-of-concept implementation of these and related matters. In addition to presenting state-of-the-art results, the book places this work in the context of nearly twenty years of developments in formal modelling for electronic commerce. A comprehensive bibliography and index are provided.