>> Google Books

Algebraic specification

フォーマット:
図書
責任表示:
edited by J.A. Bergstra, J. Heering, P. Klint
言語:
英語
出版情報:
New York, N.Y. : ACM Press
Wokingham, England ; Tokyo : Addison-Wesley, c1989
形態:
xiii, 397 p. : ill. ; 25 cm
著者名:
シリーズ名:
ACM Press frontier series <BA06891767>
書誌ID:
BA06891745
ISBN:
9780201416350 [0201416352]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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

Horebeek, Ivo van, 1959-, Lewi, Johan

Springer-Verlag

Workshop on "Algebraic Methods: Theory, Tools and Applications", Wirsing, M. (Martin), Bergstra, J. A., Feijs, L. M. G. &hellip;

Springer-Verlag

Loeckx, Jacques, 1931-, Ehrich, Hans-Dieter, Wolf, Markus

Wiley, B.G. Teubner

Hanus, Michael, Heering, J, Meinke, K. (Karl), International Conference on Algebraic and Logic Programming, &hellip;

Springer-Verlag

Thomas, Pete (Peter G.), Robinson, Hugh, Emms, Judy

Clarendon Press, Oxford University Press

Jones, Mark P.

Cambridge University Press

Klint, Paul

Springer-Verlag

Mauw, S, Veltink, G. J

Cambridge University Press

Uhl, Jürgen, 1956-, Schmid, Hans Albrecht, 1944-

Springer-Verlag

International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Heering, J

Springer-Verlag

Alford, M. W. (Mack W.), Paul, Manfred, 1932-, Siegert, H. J., 1935-, Technische Universität München. Institut für &hellip;

Springer-Verlag