The B-book : assigning programs to meanings / J.-R. Abrial.
| Author/creator |
Abrial, Jean-Raymond |
| Format | Book and Print |
| Publication Info | Cambridge ; New York : Cambridge University Press, 1996. |
| Description | xxxiv, 779 pages ; 26 cm |
| Subject(s) |
Click here for more information about this title
| Variant title | B book |
| General note | Includes index. |
| ISBN | 0521496195 |
Available Items
| Library | Location | Call Number | Status | Item Actions | |
| Joyner | General Stacks | QA76.73.B2 A267 1996 | ✔ Available | Place Hold |