Constructing Programs from Specifications
Subtitle: Proceedings of the Ifip Tc2/Wg 2.1 Working Conference on Constructing Programs from Specifications Pacifi
Publisher: North-Holland
Published: October 1991
Language: eng
Number of pages: 526
ISBN-13: 9780444891846