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

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

Altre edizioni note dello stesso titolo