Reachability Problems
by Alain Finkel
Published
2012
Publisher
Springer Berlin / Heidelberg
ISBN-13
9783642335112
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
You May Also Like
Reachability Problems
Reachability Problems
Artificial general intelligence
Artificial general intelligence
Logical Foundations of Computer Science
Logical Foundations of Computer Science
Grammatical Inference
Grammatical Inference
Language and Automata Theory and Applications
Language and Automata Theory and Applications
Logica Universalis
Logica Universalis
Frequently Asked Questions
Who is the author of Reachability Problems?
Reachability Problems was written by Alain Finkel.
When was Reachability Problems published?
The publication date for this specific edition is 2012. The original work may have been published on a different date.