The B-book : assigning programs to meanings /

The B-book : assigning programs to meanings /

57

Bibliographic Details
Main Author: 255155 Abrial, Jean-Raymond
Format:
Language:eng
Published: Cambridge : Cambridge University Press, 1996
Subjects:
B method (Computer science)

Similar Items