Specification and Transformation of Programs. A Formal Approach to Software Development - Tapa blanda

 
9780387525891: Specification and Transformation of Programs. A Formal Approach to Software Development

Otras ediciones populares con el mismo título