Cover Image

Evaluating the Lightweight Currency System using the Probabilistic Model Checking PRISM /

Electronic Commerce is one of the major factors in the evolution of the internet it increases the possibility for private companies or individuals to trade with each other.

Saved in:

Bibliographic Details
Main Author:	El Rayes, Amani Helmi
Format:	Book
Language:	English
Published:	Cairo : The Institute of National Planning, 2006.
Series:	The Institute of National Planning ; 1631.
Subjects:	Currency System. Electronic Commerce. trade.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Evaluating the lightweight Currency System using the probabilistic Checking PRISM
by: Helmi El Rayes, Amani
Published: (2022)

Handbook of digital currency : bitcoin, innovation, financial instruments, and big data /
by: David Lee Kuo Chuen
Published: (2015)

Handbook of digital currency : bitcoin, innovation, financial instruments, and big data /
by: David Lee Kuo Chuen
Published: (2015)

Understanding the digital economy : data, tools, and research /
Published: (2000)

Currency boards for developing countries : a handbook /
by: Hanke, Steve H.
Published: (1994)

Currency boards for developing countries : a handbook /
by: Hanke, Steve H.
Published: (1994)

Global economic effects of the Asian currency devaluations /
Published: (1998)

The State Trading Corporation : a report on India's export performance /
Published: (1961)

The State Trading Corporation : a report on India's export performance /
Published: (1961)

Free trade.

Distributed Computing Systems : Communication, Cooperation, Consistency /
Published: (1985)

International trade and economic growth : studies in pure theory /
by: Johnson, Harry G.
Published: (1958)

International trade and economic growth : studies in pure theory /
by: Johnson, Harry G.
Published: (1958)

Introducing systems design /
by: Skidmore, Steve
Published: (1990)

Global shift : mapping the changing contours of the world economy /
by: Dicken, Peter
Published: (2007)

International trade and finance : new frontiers for research : essays in honor of Peter B. Kenen /
by: .Cohen, Benjamin J.
Published: (1997)

The application of advanced information and communications technologies in the transport sector in the ESCWA region /
Published: (2001)

1996 International Trade Statistics Yearbook Annualre Statistque du Commerce International.
Published: (1997)

1996 International Trade Statistics Yearbook Annualre Statistque du Commerce International.
Published: (1997)

INP database management system
by: El-daoushy, Abdalla
Published: (2018)

Trade and transport facilitation : e-business and information and communications technology applications /
Published: (2003)

United Kingdom trade with Europe /
by: Meyer, F. V.
Published: (1957)

COMESA : Group of common market for Eastern and Southern African Countries /
Published: (2001)

United Kingdom trade with Europe /
by: Meyer, F. V.
Published: (1957)

Self-organizing systems : proceedings /
Published: (1960)

Self-organizing systems : proceedings /
Published: (1960)

Glossary of commercial, economic & financial terms : English-French-Arabic /
by: Joreiga, Mona
Published: (2000)

Systems modelling : theory and practice /
Published: (2004)

Money and man : a survey of monetary experience /
by: Groseclose, Elgin Earl
Published: (1961)

Money and man : a survey of monetary experience /
by: Groseclose, Elgin Earl
Published: (1961)

Commerce : Its theory and practice /
by: Thomas, S. Evelyn
Published: (1965)

Manuel de Classification economique et fonctionnelle des opperations de l’ Etat /
by: United Nations
Published: (1957)

Introduction to computers & information systems /
by: Long, Larry E.
Published: (1997)

Introduction to computers & information systems /
by: Long, Larry E.
Published: (1997)

Hedging of Contracts, Anticipated Positions, and Tender Offers : A Study of Corporate Foreign Exchange Rate Risk And/or Price Risk /
by: Lagerstam, Catharina
Published: (1990)

Using PEPA to Model the Unemployment Problem
by: El Rayes, Amani, et al.
Published: (2022)

Stochastic models optimization techniques and computer applications : Proceeding of the international conference in stochastic models optimization techniques and computer applications /
Published: (1994)

program evaluation and review technique with computer application /
by: taha, hamdy A.
Published: (1965)

Foreign direct investment and industrialisation in Malaysia, Singapore, Taiwan, and Thailand /
by: .Lim, Linda Y.C
Published: (1991)

World monetary disorder : national policies vs. international imperatives /
Published: (1976)