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 Techniques for Distributed SystemsFormal Techniques for Distributed Systems

Formal Techniques for Distributed Systems

Roberto Bruni

Details

OL Work ID
OL16941049W

Subjects

Logic designComputer networksComputer scienceSoftware engineeringElectronic data processingDistributed processingCongressesSystem designOperating systems (computers)Electronic data processing, distributed processingMathematical Logic and Formal LanguagesLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersProgramming TechniquesComputer Communication Networks

Find this book

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