Title: Simple Program Schemes and Formal Languages, Author: J. Engelfriet
Title: Theory of Program Structures: Schemes, Semantics, Verification, Author: Sheila A. Greibach
Title: Data Structures / Edition 2, Author: Alfs T. Berztiss
Title: An Optimized Translation Process and Its Application to ALGOL 68, Author: P. Branquart
Title: Programmers and Managers: The Routinization of Computer Programming in the United States, Author: P. Kraft
Title: Program Modification, Author: J.D. Warnier
Title: Computers and Intractability: A Guide to the Theory of NP-Completeness / Edition 1, Author: M. R. Garey
Title: First-Order Dynamic Logic, Author: D. Harel
Title: A Relational Theory of Computing, Author: John G. Sanderson
Title: Context-Free Grammars: Covers, Normal Forms, and Parsing, Author: A. Nijholt
Title: Inside Computer Understanding: Five Programs Plus Miniatures / Edition 1, Author: R. C. Schank
Title: Compiler Specification and Verification, Author: W. Polak
Title: Axiomatising the Logic of Computer Programming, Author: R. Goldblatt
Title: Program Construction: International Summer School, Author: F.L. Bauer
Title: Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare, Author: M. Broy
Title: An Attribute Grammar for the Semantic Analysis of ADA, Author: J. Uhl
Title: Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981, Author: A.W. Biermann
Title: The Evolution of Programs, Author: DERSHOWITZ
Title: Data Structures and Algorithms / Edition 1, Author: Alfred Aho
Title: Fast Transforms Algorithms, Analyses, Applications, Author: Douglas F. Elliott

Pagination Links