Title: Sprachlich gestützte und geleitete EDV-Projektierung, Author: N. Joachim Lehmann
Title: Programmieren Mit Pascal, Author: Gerhard Paulin
Title: An Analytical Description of CHILL, the CCITT High Level Language, Author: P. Branquart
Title: Axiomatising the Logic of Computer Programming, Author: R. Goldblatt
Title: Verifying Concurrent Processes Using Temporal Logic, Author: B. T. Hailpern
Title: Einführung in das Programmieren in ASSEMBLER: Systeme IBM, Siemens, Univac, Interdata, Author: Gerhard Niemeyer
Title: Programmiersprachen und Programmentwicklung: 7. Fachtagung veranstaltet vom Fachausschu� 2 der GI M�nchen, 9./10. M�rz 1982, Author: H. Wïssner
Title: An Introduction to the PL/CV2 Programming Logic, Author: R. L. Constable
Title: Program Construction: International Summer School, Author: F.L. Bauer
Title: Pascal für Mikrocomputer, Author: K. L. Bowles
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: CHILL: Eine moderne Programmiersprache f�r die Systemtechnik, Author: Werner Sammer
Title: GAG: A Practical Compiler Generator, Author: U. Kastens
Title: Methoden des Software-Entwurfs und Strukturierte Programmierung, Author: De Gruyter
Title: Illustrating FORTRAN, Author: Donald G. Alcock
Title: Problems and Methodologies in Mathematical Software Production: International Seminar, Held at Sorrento, Italy, November 3-8, 1980, Author: P.C. Messina
Title: Multivariable Feedback: A Quasi-Classical Approach, Author: Y. S. Hung
Title: Simulation Techniques for Discrete Event Systems, Author: I. Mitrani

Pagination Links