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 Aspects of Component SoftwareFormal Aspects of Component Software

Formal Aspects of Component Software

José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue

Details

OL Work ID
OL20719954W

Subjects

Computer scienceSoftware engineeringFormal methods (Computer science)CongressesComponent softwareLogic designInformation SystemsMathematical Logic and Formal LanguagesLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersProgramming TechniquesManagement of Computing and Information Systems

Find this book

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