Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abst

Ø 0.0
0 Bewertungen
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: