Formal Modelling in Electronic Commerce (International Handbooks on Information Systems) - Hardcover

 
9783540214311: Formal Modelling in Electronic Commerce (International Handbooks on Information Systems)
Hardcover
ISBN 10: 3540214313 ISBN 13: 9783540214311
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2004

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publication date
2004
Language
English
ISBN 10 
3540214313
ISBN 13 
9783540214311
Binding
Hardcover
Number of pages
574
Editor
Kimbrough Steven O., Wu Dongjun

Other Popular Editions of the Same Title

9783642435614: Formal Modelling in Electronic Commerce (International Handbooks on Information Systems)

Featured Edition

ISBN 10:  3642435610 ISBN 13:  9783642435614
Publisher: Springer, 2014
Softcover