Formal Description Techniques
Subtitle: Proceedings of the First International Conference on Formal Description Techniques Stirling, Scotland, 6-9 September,
Publisher: North-Holland
Published: October 1989
Format: Hardcover
Number of pages: 370
ISBN-13: 9780444871268
Subjects: General Theory of Computing; Computer Programming Languages; Computer Books: Operating Systems