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

Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989, proceedings / M. Main ... [et al.] (eds.)

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, c1990
形態:
vi, 439 p. ; 25 cm
シリーズ名:
Lecture notes in computer science ; 442 <BA00009279>
著者名:
ISBN:
9780387973753 [0387973753] (: us)
9783540973751 [3540973753] (: gw)
書誌ID:
BA10539064
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

Springer-Verlag

Symposium on Mathematical Foundations of Computer Science, Jędrzejowicz, Joanna, Szepietowski, Andrzej

Springer

Conference on the Mathematical Foundations of Programming Semantics, Brookes, Stephen D.

Springer-Verlag

Symposium on Mathematical Foundations of Computer Science, Fiala, Jiří, Koubek, Václav, 1948-, Kratochvíl, Jan

Springer

Brookes, Stephen D., Conference on the Mathematical Foundations of Programming Semantics

Springer-Verlag

Symposium on Mathematical Foundations of Computer Science, Rovan, Branislav, 1947-, Vojtáš, Peter

Springer

International Workshop on Practical Aspects of Declarative Languages, Dahl, Veronica, Wadler, Philip

Springer

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

Springer-Verlag

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

Springer

Symposium on Mathematical Foundations of Computer Science, Nielsen, M. (Mogens), 1949-, Rovan, Branislav, 1947-

Springer

Symposium on Mathematical Foundations of Computer Science, Tarlecki, Andrzej, 1956-

Springer-Verlag

Symposium on Mathematical Foundations of Computer Science, Wiedermann, J. (Juraj), Hájek, Petr

Springer-Verlag

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