Lex

Browse

GenresShelvesPremiumBlog

Company

AboutJobsPartnersSell on LexAffiliates

Resources

DocsInvite FriendsFAQ

Legal

Terms of ServicePrivacy Policygeneral@lex-books.com(215) 703-8277

© 2026 LexBooks, Inc. All rights reserved.

Specification and verification of data base semantic integrity

Specification and verification of data base semantic integrity1978

Michael L. Brodie

Details

First published
1978
OL Work ID
OL2925400W

Subjects

Database managementProgramming languages (Electronic computers)Computer programsVerificationSemantics

Find this book

Open Library
Book data from Open Library. Cover images courtesy of Open Library.