/  Computer Science Books /  Programing Theory Books / 

Programming from Specifications (Carroll Morgan)

Programming from Specifications (Carroll Morgan)

Programming from Specifications (Carroll Morgan)

Currently this section contains no detailed description for the page, will update this page soon.

Author(s):

s Pages
Similar Books
Programming Languages Application and Interpretation

Programming Languages Application and Interpretation

This book contains below topics, Everything we will say about parsing, A first look at interpretation, A first taste of desugaring, Adding functions to the language, Mutation of structures and variables, Recursion and cycles, Garbage collection, Macros, Control and threads, Checking program invariants statically with types.

s207 Pages
Theory in Programming Practice

Theory in Programming Practice

Jayadev Misras Theory in Programming Practice is quite informative for the essentials of programming theory, especially with practical implications. The text includes compression techniques for data, reducing data size without loss of integrity, methods for detection and correction of errors in data transmission, and cryptography techniques for securing information from unauthorized access. Notes Also familiarize the reader with finite state machinesso very crucial in modeling and analyzing computations processes. Misra on recursion and induction Basic concepts that exist in the world of programming and designing algorithms. Relational databasesa topic thats very relevant to the management of structured data. Of course, the entire resource caters to both theoretical and practical knowledge, making this resource quite helpful in understanding core programming concepts and their implementations.

s250 Pages