Foundations of Algebraic Specification and Formal Program Development

Materias

• Software engineering
• Abstract data types (computer science)
• Computer science, mathematics

Ediciones (1)

• Foundations of Algebraic Specification and Formal Program Development (Cambridge Tracts in Theoretical Computer Science)

  Cambridge University Press · inglés · ISBN 9780521401838

Más obras de D. Sannella