A high-level model-checking tool for verifying electronic contracts :: Abubkr Abdelsadiq :: Newcastle University, Computing Science 2011 :: OBNB, the Open British National Bibliography

Publication Data

Title A high-level model-checking tool for verifying electronic contracts
Author Abubkr Abdelsadiq
Contributors C. Molina-Jimenez, S. K. Shrivastava, S. K. Shrivastava
Publisher Newcastle University, Computing Science
Publication date 2011
Publication location Newcastle upon Tyne
Language English

Descriptive Notes

Title from cover.
"September 2011."

Topics

Electronic contracts
Computer systems :: Verification

Catalogue Data

OBNB ID GBB278749
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.24

ISBD

P1053 11 p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

A high-level model-checking tool for verifying electronic contracts by Abubkr Abdelsadiq. Published by Newcastle University, Computing Science in 2011. Publication and catalogue information, links to buy online and reader comments.