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.
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Cairo :
The Institute of National Planning,
2006.
|
| Loạt: | The Institute of National Planning ;
1631. |
| Những chủ đề: | |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
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 | ||