Specification and Development of Interactive Systems
Focus on Streams, Interfaces, and Refinement
Autor:
Manfred Broy
Disponibilitate:
În depozitul extern
Expediem în 8-11 zile
275.89
lei
A mathematical and logical foundation for the specification and development of interactive systems b...
