Back

Recent Trends in Data Type Specification, '90 : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings (Lecture Notes in Computer Science Vol.534) (1991. VIII, 379 p. 24,5 cm)

Ed. by Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas et al.
1,925 TWD
会員価格
1,733

產品說明

This volume contains the proceedings of a workshop on specification of abstract data types. The main topics are modularization, object orientation, higher-order types and dependent types, inductive completion, and algebraic high-level nets.
... 閱讀全文

VIII, 384 p.

... 閱讀全文

開放訂購

預計出貨時間約 3-4 weeks

我們已盡力確保庫存狀態正確，但偶爾仍可能會出現顯示狀態不符的情況。實際庫存狀況仍需以現場及供應商是否可提供為主。

ご注文金額 1,000 TWD以上で国内送料無料

折扣將於結帳時套用。

最近瀏覽過的項目

相關產品