scientific article; zbMATH DE number 2155175

zbMATH Open1063.68604MaRDI QIDQ4665721

Hartmut Ehrig, G. Schröter

Publication date: 11 April 2005

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• On the role of formalization in computational mathematics 👍 👎
• The role of mathematics and formal specification techniques in software system development 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4665721)