Handbook of Process Algebra المزيد من الكتب المشابهة

Foundations of Software Science and Computational Structures Foundations of Software Science and Computational Structures
Foundations of Software Science and Computational Structures
٢٠١٠
Rewriting, Computation and Proof Rewriting, Computation and Proof
Rewriting, Computation and Proof
٢٠٠٧
Relational and Algebraic Methods in Computer Science Relational and Algebraic Methods in Computer Science
Relational and Algebraic Methods in Computer Science
٢٠١١
Automated Reasoning Automated Reasoning
Automated Reasoning
٢٠٢٢
Automated Reasoning Automated Reasoning
Automated Reasoning
٢٠٢٠
Relational and Algebraic Methods in Computer Science Relational and Algebraic Methods in Computer Science
Relational and Algebraic Methods in Computer Science
٢٠١٨
Theorem Proving in Higher Order Logics Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
٢٠٠٧
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
٢٠١١
Relations and Kleene Algebra in Computer Science Relations and Kleene Algebra in Computer Science
Relations and Kleene Algebra in Computer Science
٢٠٠٩
Term Rewriting and Applications Term Rewriting and Applications
Term Rewriting and Applications
٢٠٠٧
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
٢٠٠٧
Reachability Problems Reachability Problems
Reachability Problems
٢٠٢٢
Language and Automata Theory and Applications Language and Automata Theory and Applications
Language and Automata Theory and Applications
٢٠٠٨
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
٢٠٢٠
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
٢٠١٤