Blank Cover Image

Program design calculi

責任表示:
edited by Manfred Broy
シリーズ名:
NATO ASI series. Series F, Computer and systems sciences
シリーズ巻号:
118
出版情報:
Berlin: Springer-Verlag, 1993
ISSN:
02581248
ISBN:
9783540569435 [354056943X]
請求記号:
N11483/118
資料種別:
国際会議録
巻号一覧
Loading volume number list

類似資料:

1 国際会議録 Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Springer-Verlag
7 国際会議録 Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation (PLDI), Philadelphia, PA, May 21-24, 1996

Association for Computing Machinery
2 国際会議録 Deductive program design

Springer
8 国際会議録 Proceedings [of] the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), Las Vegas, Nevada, 15-18 June, 1997

Association for Computing Machinery
3 国際会議録 Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation (PLDI), Orlando, FL, June 20-24, 1994

Association for Computing Machinery
9 国際会議録 Proceedings of the ACM SIGPLAN '99 Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, 1-4 May, 1999

Association for Computing Machinery
4 国際会議録 Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), Montreal, Canada, 17-19 June, 1998

Association for Computing Machinery
10 国際会議録 Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation (PLDI), Vancouver, British Columbia, Canada, June 18-21, 2000

Association for Computing Machinery
5 国際会議録 Proceedings of the ACM SIGPLAN '01 Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, June 20-22, 2001

Association for Computing Machinery
11 国際会議録 Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI'02), Berlin, Germany, June 17-19, 2002

Association for Computing Machinery
6 国際会議録 Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation (PLDI), La Jolla, CA, June 18-21, 1995

Association for Computing Machinery
12 国際会議録 Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI'03), San Diego, California, USA, June 9-11, 2003

Association for Computing Machinery
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12