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.

Reachability ProblemsReachability Problems

Reachability Problems

Alain Finkel

Details

OL Work ID
OL19898698W

Subjects

Mathematical Logic and Formal LanguagesSoftware engineeringAlgorithm Analysis and Problem ComplexityLogic designLogics and Meanings of ProgramsComputation by Abstract DevicesComputer scienceProgramming Languages, Compilers, InterpretersComputer softwareNumerical analysisAlgorithmsComputer systemsCongressesVerificationNumerical Analysis, Computer-Assisted

Find this book

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