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.
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Fformat: | Llyfr |
| Iaith: | Saesneg |
| Cyhoeddwyd: |
Cairo :
The Institute of National Planning,
2006.
|
| Cyfres: | The Institute of National Planning ;
1631. |
| Pynciau: | |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
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 | ||