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

Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings / Eerke A. Boiten, Bernhard Möller (eds.)

資料種別:
図書
出版情報:
Berlin : Springer, c2002
形態:
x, 262 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 2386 <BA00009279>
著者名:
ISBN:
9783540438571 [3540438572]
書誌ID:
BA57702180
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

Springer

International Conference on Rewriting Techniques and Applications, Tison, Sophie

Springer

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

Springer

International Colloquium on Automata, Languages and Programming, Orejas, Fernando, Spirakis, P. G. (Paul G.), 1955-, …

Springer

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

Springer

International Conference on Rewriting Techniques and Applications, Bachmair, Leo

Springer

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

Springer

European Symposium on Programming, Sands, David, European Conferences on Theory and Practice of Software

Springer

International Colloquium on Automata, Languages and Programming, Widmayer, Peter

Springer

International Conference on the Mathematics of Program Construction, Uustalu, Tarmo

Springer

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

Springer-Verlag

Symposium on Mathematical Foundations of Computer Science, Kutyłowski, Mirosław, Pacholski, Leszek, Wierzbicki, Tomasz

Springer

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