Blank Cover Image

Deductive program design

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

類似資料:

1 国際会議録 Program design calculi

Springer-Verlag

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12