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 Methods for Executable Software ModelsFormal Methods for Executable Software Models

Formal Methods for Executable Software Models

Einar Broch Johnsen, Marco Bernardo, Ferruccio Damiani, Ina Schaefer, Reiner Haehnle

Details

OL Work ID
OL20770260W

Subjects

Computer software, developmentSystem designSoftware engineeringComputer scienceInformation theoryLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersTheory of Computation

Find this book

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