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.

Na minha lista:
Detalhes bibliográficos
Autor principal: El Rayes, Amani Helmi
Formato: Livro
Idioma:inglês
Publicado em: Cairo : The Institute of National Planning, 2006.
Colecção:The Institute of National Planning ; 1631.
Assuntos:
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

MARC

LEADER 00000cam a22000004a 4500
003 INP
005 20180509143641.0
008 040301s2006 ua ||||frb||||||||||eng |
952 |0 0  |1 0  |4 0  |6 338_900000000000000_م_ذ_1631  |7 0  |8 External N  |9 6795  |a INP  |b INP  |c MAIN  |d 2018-05-02  |l 0  |o 338.9 م.ذ 1631  |p 007958  |r 2022-03-28 00:00:00  |w 2018-05-02  |y EN  |0 0  |0 0 
952 |0 0  |1 0  |4 0  |6 338_900000000000000_م_ذ_1631  |7 0  |8 External N  |9 6796  |a INP  |b INP  |c MAIN  |d 2018-05-02  |l 0  |o 338.9 م.ذ 1631  |p 007959  |r 2022-03-28 00:00:00  |w 2018-05-02  |y EN  |0 0  |0 0 
952 |0 0  |1 0  |4 0  |6 338_900000000000000_م_ذ_1631  |7 0  |8 External N  |9 6797  |a INP  |b INP  |c MAIN  |d 2018-05-02  |l 0  |o 338.9 م.ذ 1631  |p 007960  |r 2022-03-28 00:00:00  |w 2018-05-02  |y EN  |0 0  |0 0 
952 |0 0  |1 0  |4 0  |6 338_900000000000000_م_ذ_1631  |7 0  |8 External N  |9 6798  |a INP  |b INP  |c MAIN  |d 2018-05-02  |l 0  |o 338.9 م.ذ 1631  |p 007956  |r 2022-03-28 00:00:00  |w 2018-05-02  |y EN  |0 0  |0 0 
952 |0 0  |1 0  |4 0  |6 338_900000000000000_م_ذ_1631  |7 0  |8 External N  |9 6964  |a INP  |b INP  |c MAIN  |d 2018-05-02  |l 0  |o 338.9 م.ذ 1631  |p 008092  |r 2022-03-28 00:00:00  |w 2018-05-02  |y EN  |0 0  |0 0 
999 |c 7607  |d 7607 
040 |a EG-INP  |b eng  |c EG-INP 
082 0 0 |2 21  |a 338.9  |b م.ذ 1631 
100 1 |a El Rayes, Amani Helmi.  
245 1 0 |a Evaluating the Lightweight Currency System using the Probabilistic Model Checking PRISM /   |c Amani Helmi El Rayes. 
260 |a Cairo :   |b The Institute of National Planning,   |c 2006. 
300 |a 19 p. ;   |c 26 cm. 
490 0 |a The Institute of National Planning ;   |v 1631. 
500 |a " March 2006 " 
504 |a Includes bibliographical references.  
520 |a 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. 
650 7 |a Currency System.  |2 qrmak 
650 7 |a Electronic Commerce.  |2 qrmak 
650 7 |a trade.   |2 qrmak 
901 |a EGPV10 
902 |a EGPV4 
903 |a original 
942 |c EN  |2 ddc