Concepts and Semantics of Programming Languages 1 More Books Like This

Verified Functional Programming in Agda Verified Functional Programming in Agda
Verified Functional Programming in Agda
2016
Logic And Declarative Language Logic And Declarative Language
Logic And Declarative Language
2004
Array Theory and the Design of Nial Array Theory and the Design of Nial
Array Theory and the Design of Nial
2013
Formal Methods in Computer Science Formal Methods in Computer Science
Formal Methods in Computer Science
2019
Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition) Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition)
Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition)
2022
Computer Science: Questions and Answers Computer Science: Questions and Answers
Computer Science: Questions and Answers
2017
Programming Distributed Computing Systems Programming Distributed Computing Systems
Programming Distributed Computing Systems
2013
Agile Model-Based Development Using UML-RSDS Agile Model-Based Development Using UML-RSDS
Agile Model-Based Development Using UML-RSDS
2017
Programming Language Fundamentals by Example Programming Language Fundamentals by Example
Programming Language Fundamentals by Example
2006