Recent Trends in Data Type Specification Enlarge image

Recent Trends in Data Type Specification

Hartmut Ehrig
okładka miękka
266,50 zł

Sprowadzamy na zamówienie


Do koszyka

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.

Szczegóły

Recent Trends in Data Type Specification

Hartmut Ehrig
wrzesień 1991
Springer-Verlag GmbH
392
3540544968
9783540544968
235 x 155 x 21

Recenzje

Napisz własną recenzję
Recent Trends in Data Type Specification - Hartmut Ehrig

Historia przeglądania