Charles J. Prenner

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1979

3 Anthony I. Wasserman, Charles J. Prenner: Toward a unified view of data base management, programming languages, and operating systems-a tutorial. Inf. Syst. 4(2): 119-126 (1979)

1976

2 Charles J. Prenner, Alfred Z. Spector: Instructional computer systems for higher education. AFIPS National Computer Conference 1976: 171-177

1 Patricia P. Griffiths, Charles J. Prenner: Verifying Formal Specifications of Synchronous Processes. POPL 1976: 192-208

	1979
3		Anthony I. Wasserman, Charles J. Prenner: Toward a unified view of data base management, programming languages, and operating systems-a tutorial. Inf. Syst. 4(2): 119-126 (1979)
	1976
2		Charles J. Prenner, Alfred Z. Spector: Instructional computer systems for higher education. AFIPS National Computer Conference 1976: 171-177
1		Patricia P. Griffiths, Charles J. Prenner: Verifying Formal Specifications of Synchronous Processes. POPL 1976: 192-208

Coauthor Index