329,96 €
388,19 €
-15% su kodu: ENG15
Formal Modelling in Electronic Commerce
329,96 € 
- Išsiųsime per 10–14 d.d.
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 pre…
329.96
2025-08-24 23:59:00
/https://libri-media.knygos-static.lt/f6ea240d-b33c-4b89-ac29-46ac759ac68c/1)
- Leidėjas: Springer-Verlag GmbH
- Metai: 2004
- ISBN-10: 3540214313
- ISBN-13: 9783540214311
- Formatas: 16.5 x 24.5 x 3.7 cm, kieti viršeliai
- Kalba: Anglų
- Extra -15 % nuolaida šiai knygai su kodu: ENG15
Formal Modelling in Electronic Commerce + nemokamas atvežimas! | knygos.lt
Atsiliepimai
Aprašymas
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.EXTRA 15 % nuolaida su kodu: ENG15
329,96 €
388,19 €
Išsiųsime per 10–14 d.d.
Akcija baigiasi už 2d.14:16:23
Nuolaidos kodas galioja perkant nuo 10 €. Nuolaidos nesumuojamos.
- Leidėjas: Springer-Verlag GmbH
- Metai: 2004
- ISBN-10: 3540214313
- ISBN-13: 9783540214311
- Formatas: 16.5 x 24.5 x 3.7 cm, kieti viršeliai
- Kalba: Anglų
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.
Atsiliepimai