>> Google Books

Mathematics of Program Construction / Richard Bird, Carroll Morgan, Jim Woodcock

資料種別:
電子ブック
出版情報:
SpringerLink Books Lecture Notes In Computer Science Archive
Springer Berlin Heidelberg, 1993
著者名:
ISBN:
9783540476139 [354047613X]
9783540566250 [3540566252]
書誌ID:
OB00287296
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

International Conference on the Mathematics of Program Construction, Bird, R. S. (Richard Simpson), 1943-, Morgan, C. C. …

Springer-Verlag

Bolduc, Claude, Desharnais, Jules, Kanade, Takeo, Ktari, Béchir

Springer eBooks Computer Science, Springer Berlin Heidelberg

Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao

Springer eBooks Computer Science, Springer Berlin Heidelberg

Springer eBooks Computer Science, Springer International Publishing

International Conference on the Mathematics of Program Construction, Möller, Bernhard

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

Audebaud, Philippe, Kanade, Takeo, Paulin-Mohring, Christine

Springer eBooks Computer Science, Springer Berlin Heidelberg

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

Uustalu, Tarmo, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Bird, R. J. (Richard J.), Wadler, Philip, 1956-

Prentice Hall

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