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:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cairo :
The Institute of National Planning,
2006.
|
| Series: | The Institute of National Planning ;
1631. |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
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 | ||