>> 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:
9783540566250 [3540566252] (: gw)
9780387566252 [0387566252] (: us)
書誌ID:
BA19829981
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Mathematics of program construction : Third International Conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings

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

Springer
7 図書 Mathematics of program construction : 375th anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989 : … (: gw ; : us)

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

Springer-Verlag
2 図書 Mathematics of program construction : 4th International Conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings

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

Springer
8 図書 Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989, … (: gw ; : us)

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

Springer-Verlag
3 電子ブック Mathematics of Program Construction

Bird, Bird, Richard, Morgan, Carroll, Woodcock, Jim

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
9 図書 Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, … (: gw)

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

Springer-Verlag
4 図書 Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings

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

Springer
10 図書 Mathematical foundations of computer science 1992 : 17th International Symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings (: gw ; : us)

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

Springer-Verlag
5 図書 Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings

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

Springer
11 図書 Stochastic algorithms : foundations and applications : second International Symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003 : proceedings

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

Springer
6 図書 Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings

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

Springer
12 図書 Problems and methodologies in mathematical software production : international seminar held at Sorrento, Italy, November 3-8, 1980 (: gw ; : us)

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

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