Bjørn Kirkerud

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1989

2 Bjørn Kirkerud: Object-oriented programming with Simula (repr.). Addison-Wesley 1989: I-XIII, 1-513

1982

1 Bjørn Kirkerud: Completeness of Hoare-Calculi Revisited. BIT 22(4): 402-418 (1982)

	1989
2		Bjørn Kirkerud: Object-oriented programming with Simula (repr.). Addison-Wesley 1989: I-XIII, 1-513
	1982
1		Bjørn Kirkerud: Completeness of Hoare-Calculi Revisited. BIT 22(4): 402-418 (1982)

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page