FORMAL MODELLING AND VERIFICATION OF COMPENSATING WEB TRANSACTIONS.

Subjects

Subjects :

DATABASES
TRANSACTION systems (Computer systems)
COMPUTER systems
CALCULI
BIOMINERALIZATION
PATHOLOGY

Details

Language :

English

ISBNs :

9789814439077

Database :

Complementary Index

Journal :

Iaeng Transactions on Electrical Engineering Volume 1 - Special Issue of the International Multiconference of Engineers & Computer Scientists 2012

Publication Type :

Conference

Accession number :

129079155