Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute Held at Bonas, France, September 28-October 10, 1981 by

NATO Science Series C:

Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute Held at Bonas, France, September 28-October 10, 1981

374 pages paperback

2 editions

nonfiction mathematics
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

powerful operations on them. An early step in this direction was the development of APl, and more recent examples have been SETl which enables a user to code in terms of mathematical enti- ties such as sets and BDl which allows a user, presumably ...

Show More

Community Reviews

Loading...

Content Warnings

Loading...