Title: Coroutines: A Programming Methodology, a Language Design and an Implementation, Author: C.D. Marlin
Title: Towards a Formal Description of Ada, Author: D Bjorner
Title: Graph Theory and Algorithms: 17th Symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 1980. Proceedings, Author: N. Saito
Title: Compiler Specification and Verification, Author: W. Polak
Title: Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek SSR September 16-22, 1979, Author: A. P. Ershov
Title: Alphard: Form and Content: Form and Content, Author: Mary Shaw
Title: Axiomatising the Logic of Computer Programming, Author: R. Goldblatt
Title: Program Construction: International Summer School, Author: F.L. Bauer
Title: Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July 12-16, 1982, Author: M. Nielsen
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: GAG: A Practical Compiler Generator, Author: U. Kastens
Title: Problems and Methodologies in Mathematical Software Production: International Seminar, Held at Sorrento, Italy, November 3-8, 1980, Author: P.C. Messina
Title: The Evolution of Programs, Author: DERSHOWITZ
Title: Introduction to SIMULA 67, Author: Lamprecht Günther
Title: Data Structures and Algorithms / Edition 1, Author: Alfred Aho
Title: The Programming Language Ada: Reference Manual. Proposed Standard Document United States Department of Defense, Author: Cii Honeywell Bull
Title: CONLAN Report, Author: R. Piloty
Title: Introducing CAL: A practical guide to writing Computer-Assisted Learning programs, Author: Keith Hudson
Title: International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings, Author: M. Paul

Pagination Links