scientific article; zbMATH DE number 1988995

zbMATH Open1030.68562MaRDI QIDQ4430324

Hans-Jörg Kreowski

Publication date: 20 October 2003

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (2)

Exceptions for algebraic specifications: On the meaning of ``but ⋮ Initial Algebra Semantics Is Enough!

Recommendations

• On the algebra of structured specifications 👍 👎
• An Informal Approach to Formal (Algebraic) Specifications 👍 👎
• 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?) 👍 👎
• 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 Q4430324)