• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Formal Modelling in Electronic Commerce

Formal Modelling in Electronic Commerce

Hardcover

Series: International Handbooks on Information Systems

EconomicsGeneral Computers

ISBN10: 3540214313
ISBN13: 9783540214311
Publisher: Springer Nature
Published: Nov 23 2004
Pages: 562
Weight: 2.07
Height: 1.40 Width: 6.40 Depth: 9.40
Language: English

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.

1 different editions

Also available

Also in

Economics