The B-Book: Assigning Programs to Meanings

Publication Type:

Book

Authors:

Jean-Raymond Abrial

Source:

Cambridge University Press, Cambridge, UK (1996)
Share/Save
Last updated: Tuesday, 04 April 2017