Logic and Language Models for Computer Science المزيد من الكتب المشابهة

Logic in Computer Science

٢٠٠٤

Mathematics of Discrete Structures for Computer Science

٢٠١٢

The Correctness-by-Construction Approach to Programming

٢٠١٢

Mathematical Logic for Computer Science

٢٠١٢

Discrete Mathematics Using a Computer

٢٠٠٧

Sets, Logic and Maths for Computing

٢٠١٢

The Pillars of Computation Theory

٢٠٠٩

Fundamentals of the Theory of Computation

١٩٩٨

Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition)

٢٠٢٢

An Introduction to Programming with Specifications (Enhanced Edition)

٢٠١٢

Semantics with Applications: An Appetizer

٢٠٠٧

Popular Lectures on Mathematical Logic

٢٠١٤

Theories of Programming Languages

١٩٩٨

Functional and Logic Programming

٢٠٠٨

Logic for Computer Scientists

٢٠٠٩