Abrial, J. R. books & textbook
The B-Book: Assigning Programs to Meanings
Abrial, J. R. Hoare, A. Chapron, Pierre
Cambridge University Press /2005-11-03 Paperback / 816 Pages
isbn-10: 0521021758 / isbn-13: 9780521021753
Abrial, J. R. Hoare, A. Chapron, Pierre
Cambridge University Press /2005-11-03 Paperback / 816 Pages
isbn-10: 0521021758 / isbn-13: 9780521021753