The two-volume set LNAI 7802 and LNAI 7803 constitutes the refereed proceedings of the 5th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2013, held in Kuala Lumpur, Malaysia in March 2013. The 108 revised papers presented were carefully reviewed and selected from numerous
[Lecture Notes in Computer Science] Intelligent Information and Database Systems Volume 7803 || Modeling and Verifying DML Triggers Using Event-B
โ Scribed by Selamat, Ali; Nguyen, Ngoc Thanh; Haron, Habibollah
- Book ID
- 121365004
- Publisher
- Springer Berlin Heidelberg
- Year
- 2013
- Weight
- 183 KB
- Category
- Article
- ISBN
- 3642365434
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
The two-volume set LNAI 7802 and LNAI 7803 constitutes the refereed proceedings of the 5th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2013, held in Kuala Lumpur, Malaysia in March 2013. The 108 revised papers presented were carefully reviewed and selected from numerous
The two-volume set LNAI 7802 and LNAI 7803 constitutes the refereed proceedings of the 5th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2013, held in Kuala Lumpur, Malaysia in March 2013. The 108 revised papers presented were carefully reviewed and selected from numerous
The two-volume set LNAI 7802 and LNAI 7803 constitutes the refereed proceedings of the 5th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2013, held in Kuala Lumpur, Malaysia in March 2013. The 108 revised papers presented were carefully reviewed and selected from numerous
The two-volume set LNAI 7802 and LNAI 7803 constitutes the refereed proceedings of the 5th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2013, held in Kuala Lumpur, Malaysia in March 2013. The 108 revised papers presented were carefully reviewed and selected from numerous