>> Google Books
所蔵情報QRコード

Program construction : international summer school / F.L. Bauer ... [et al.] ; edited by F.L. Bauer and M. Broy

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, 1979
形態:
vii, 651 p. ; 25 cm
シリーズ名:
Lecture notes in computer science ; 69 <BA00009279>
著者名:
ISBN:
9783540092513 [354009251X] (: gw)
9780387092515 [038709251X] (: us)
書誌ID:
BA03630665
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design, Broy, M., 1949-, North Atlantic …

Springer-Verlag

Bauer, Friedrich Ludwig, 1924-, Samelson, Klaus, 1918-

Springer

Broy, M., 1949-, Schmidt, Gunther, 1939-, Marktoberdorf Summer School on Theoretical Foundations of Programming …

D. Reidel

NATO Advanced Study Institute, Aarons, Jules, North Atlantic Treaty Organization. Scientific Affairs Division

North-Holland Pub. Co, Interscience Publishers

NATO Advanced Study Institute on Constructive Methods in Computing Science, Broy, M., 1949-, North Atlantic Treaty …

Springer-Verlag

North Atlantic Treaty Organization. Scientific Affairs Division, Bhushan, Bharat, 1949-

Kluwer Academic Publishers

Broy, M., 1949-, North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute on …

Springer

North Atlantic Treaty Organization. Scientific Affairs Division

Plenum Press

Broy, M., 1949-, NATO Advanced Study Institute on Program Design Calculi, North Atlantic Treaty Organization. Scientific …

Springer-Verlag

North Atlantic Treaty Organization. Scientific Affairs Division

Springer-Verlag

Bauer, F.L., Dijkstra, E.W., Gerhart, S.L., Gries, D., Griffiths, M., Guttag, J. V., Horning, J. J., Owicki, S. S., …

North Atlantic Treaty Organization. Scientific Affairs Division

IOS Press

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