>> Amazon.co.jp
このページのQRコード

Mathematics of program construction : 375th anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings

種類:
図書
責任表示:
J.L.A. van de Snepscheut (ed.)
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1989
著者名:
シリーズ名:
Lecture notes in computer science ; 375 <BA00009279>
ISBN:
9783540513056 [3540513051] (: gw)  CiNii Books  Calil
9780387513058 [0387513051] (: us)  CiNii Books  Calil
注記:
'Papers presented at the Conference on Mathematics of Program Construction, held June 26-30, 1989, Groningen'--Pref
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Mathematics of Program Construction : 375th Anniversary of the Groningen University. International Conference, Groningen, The Netherlands, June 26-30, 1989 …

Snepscheut, Jan L.A. van de., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 図書 Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings

Main, Michael, 1956-, Workshop on the Mathematical Foundations of Programming Language Semantics

Springer-Verlag
2 電子ブック Mathematics of Program Construction : 375th Anniversary of the Groningen University International Conference Groningen, The Netherlands, June 26–30, 1989 …

Snepscheut, J. L. A., SpringerLink (Online service)

Springer-Verlag
8 図書 Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 2-5 1997 : proceedings

Comon, Hubert, International Conference on Rewriting Techniques and Applications

Springer
3 図書 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
9 図書 Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal Canada, June 16-18 1993 : proceedings

International Conference on Rewriting Techniques and Applications, Kirchner, Claude

Springer-Verlag
4 図書 Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings

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

Springer-Verlag
10 図書 Principles of declarative programming : 10th International Symposium, PLILP'98 held jointly with the 6th [i.e. 7th] International Conference, ALP'98, Pisa, …

International Symposium, PLILP, International Conference on Algebraic and Logic Programming, Palamidessi, Catuscia, &hellip;

Springer
5 図書 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
11 図書 Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings

Nipkow, Tobias, 1958-, International Conference on Rewriting Techniques and Applications

Springer
6 図書 MFDBS 89 : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989 : proceedings

Symposium on Mathematical Fundamentals of Database Systems, Demetrovics, János, Thalheim, B.

Springer-Verlag
12 図書 Rewriting techniques and applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings

International Conference on Rewriting Techniques and Applications, Ganzinger, Harald, 1950-

Springer-Verlag