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

Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.)

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, c1993
形態:
viii, 378 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 669 <BA00009279>
著者名:
ISBN:
9780387566252 [0387566252] (: us)
9783540566250 [3540566252] (: gw)
書誌ID:
BA19829981
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

Springer

Conference on Mathematics of Program Construction, Snepscheut, Jan L. A. van de, 1953-

Springer-Verlag

International Conference on the Mathematics of Program Construction, Jeuring, Johan, 1965-

Springer

International Conference on the Mathematical Foundation of Programming Semantics, Main, Michael, 1956-

Springer-Verlag

Bird, Richard, Morgan, Carroll, Woodcock, Jim

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

International Conference AISMC, Calmet, Jacques, 1941-, Campbell, John A., 1940-

Springer-Verlag

International Conference on the Mathematics of Program Construction, Kozen, Dexter

Springer

International Symposium on Stochastic Algorithms, Foundations and Applications, Albrecht, Andreas, Steinhöfel, Kathleen

Springer

International Conference on the Mathematics of Program Construction, Backhouse, Roland C., 1948-, Oliveira, José N.

Springer

Messina, P. C. (Paul C.), 1943-, Murli, A. (Almerico), 1936-, International Seminar on Problems and Methodologies in …

Springer-Verlag

International Conference on the Mathematics of Program Construction, Boiten, Eerke A, Möller, Bernhard, 1953-

Springer

Symposium on Mathematical Foundations of Computer Science, Havel, Ivan M., Koubek, Václav, 1948-

Springer-Verlag

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