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
An Introduction to Programming with Specifications (Enhanced Edition) An Introduction to Programming with Specifications (Enhanced Edition)
An Introduction to Programming with Specifications (Enhanced Edition)
2012
Code Optimization In the Polyhedron Model : Improving the Efficiency of Parallel Loop Nests Code Optimization In the Polyhedron Model : Improving the Efficiency of Parallel Loop Nests
Code Optimization In the Polyhedron Model : Improving the Efficiency of Parallel Loop Nests
2011
Learning Functional Programming Learning Functional Programming
Learning Functional Programming
2022
Formal Methods in Computer Science Formal Methods in Computer Science
Formal Methods in Computer Science
2019
Fundamentals of the Theory of Computation Fundamentals of the Theory of Computation
Fundamentals of the Theory of Computation
1998
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
Programming with Structured Flowcharts and Essential Python Programming with Structured Flowcharts and Essential Python
Programming with Structured Flowcharts and Essential Python
2022