Ci, którzy interesowali się tym produktem, kupili także
Opis produktu
Recent Trends in Data Type Specification - Hartmut Ehrig
Contains the proceedings of a workshop on specification of abstract data types. This volume includes topics such as: modularization, object orientation, higher-order types and dependent types, inductive completion, and algebraic high-level nets.