Recent Trends in Data Type Specification: 10th Workshop on Specification of Abst
67,03 €
Selected Papers. Combining algebra and universal algebra in first-order theorem proving: The case of commutative rings. - Bulk types and query language design. - Algebraic specification languages: An overview.
Jetzt bei Ebay: