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.

Formal specification and software developmentFormal specification and software development

Formal specification and software development

D. Bjørner

Details

OL Work ID
OL5900860W

Subjects

Computer softwareDevelopmentProgramming languages (Electronic computers)

Find this book

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