>> Amazon.co.jp
このページの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
著者名:
シリーズ名:
Lecture notes in computer science ; 669 <BA00009279>
ISBN:
9783540566250 [3540566252] (: gw)  CiNii Books  Calil
9780387566252 [0387566252] (: us)  CiNii Books  Calil
注記:
"The papers in this volume were presented at the Second International Conference on the Mathematics of Program Construction, held at St. Catherine's College, Oxford, during the week of 29 June-3 July, 1992."--Pref
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings

Bird, Richard S., Morgan, C.Carroll., Woodcock, James C.P., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 図書 Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, …

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

Springer-Verlag
2 電子ブック Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

Bird, R. S., Morgan, C. C., Woodcock, J. C. P., SpringerLink (Online service)

Springer-Verlag
8 図書 Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings

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

Springer
3 図書 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
9 図書 Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97 including a special track on declarative programming …

International Symposium, PLILP, Glaser, Hugh, Hartel, Pieter H., Kuchen, Herbert R., 1958-

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

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

Springer
10 図書 Problems and methodologies in mathematical software production : international seminar held at Sorrento, Italy, November 3-8, 1980

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

Springer-Verlag
5 図書 Mathematics of program construction : 375th anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989 : …

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

Springer-Verlag
11 図書 Mathematical foundations of computer science 1997 : 22nd International Symposium, MFCS '97, Bratislava, Slovakia, August 25-29, 1997 : proceedings

Symposium on Mathematical Foundations of Computer Science, Prívara, Igor, Ruz̆ic̆ka, Peter

Springer
6 図書 Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989, …

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

Springer-Verlag
12 図書 Recent trends in algebraic development techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers

WADT, Parisi Presicce, Francesco

Springer