The B-book : assigning programs to meanings
Title
: 
The B-book : assigning programs to meanings

Personal Author
: 
Abrial, Jean-Raymond

Publication Information
: 
Cambridge : Cambridge University Press, 1996

Physical Description
: 
xxxiv, 779 p. ; ill. ; 25 cm.

ISBN
: 
9780521021753

Subject Term
: 
B method (Computer science)


LibraryItem BarcodeCall NumberMaterial TypeItem Category 1
PSZ JB30000010166414QA76.9.B22 A27 1996Open Access BookBook