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

Formal description of programming concepts--III : proceedings of the IFIP TC2/WG 2.2 Working Conference on Formal Description of Programming Concepts , Ebberup, Denmark, 25-28 August, 1986 / edited by Martin Wirsing

資料種別:
図書
出版情報:
Amsterdam ; Tokyo : North-Holland Pub. Co., 1987
形態:
xii, 453 p. ; 24 cm
著者名:
ISBN:
9780444702531 [0444702539]
書誌ID:
BA00859295
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

IFIP Working Conference on Formal Description of Programming Concepts, Bjørner, D. (Dines), 1937-, IFIP Technical …

North-Holland Pub. Co.

IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Broy, M., 1949-, Jones, Cliff B., …

North-Holland, Elsevier Science Pub. Co., distributors for the U.S. and Canada

IFIP Working Conference on Formal Description of Programming Concepts, Neuhold, Erich J., 1940-

North-Holland Pub. Co.

IFIP TC2/WG 2.5 Working Conference on Programming Environments for High-Level Scientific Problem Solving, Gaffney, P. W. …

North-Holland, Distributors for the U.S. and Canada, Elsevier Science Pub. Co.

FORTE, Quemada, Juan, 1953-, Mañas, José, 1956-, Vázquez, Enrique, 1960-

North-Holland, Distributors for the US and Canada, Elsevier Science Pub. Co.

FORTE, Hogrefe, Dieter, Leue, Stefan, IFIP Working Group 6.1

Chapman & Hall on behalf of the International Federation for Information Processing

IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, Schneider, …

North-Holland Pub. Co., sole distributors for the U.S.A. and Canada, Elsevier North-Holland

IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods, and Calculi, Olderog, E.-R., …

Elsevier

FORTE, Gotzhein, Reinhard, Bredereke, Jan, International Federation for Information Processing, IFIP TC 6/WG 6.1 …

published by Chapman & Hall on behalf of the International Federation for Information Processing

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