Books listed by ISBN
>
Cambridge University Press
> Abrial J. R.
Abrial J. R.
title
ISBN-13
(ISBN-10)
year of publication
The B-Book: Assigning Programs to Meanings
978-O-521-O2175-3
(O-521-O2175-8)
2005
A. J.
·
A. R.
·
J R
·
J. R. Abrial
ABRIC JEAN CLAUDE