

An edition of The B-book (1996)
assigning programs to meanings
By Jean-Raymond Abrial
Publish Date
1996
Publisher
Cambridge University Press
Language
eng
Pages
779
1-1 of 1 Editions
Language: eng
Pages: 779
Published In: 1996
Publisher: Cambridge University Press