TY  - GEN
T1  - The B language and method :a guide to practical formal development /
AU  - Lano, K.,
CN  - QA76.73.B155
ID  - 1363906
KW  - B (Computer program language)
KW  - Computer software
SN  - 9781447114949 (e-book)
TI  - The B language and method :a guide to practical formal development /
LK  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3074773
UR  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3074773
ER  -