Summary goes here
Сохранить в:
| Формат: | |
|---|---|
| Язык: | английский |
| Предметы: | |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | f22e3e02-b32d-453f-b31c-ef8f094103be |
| isbn | 0521496195 9780521496193 9780521021753 0521021758 |
| issn | |
| language | eng |
| physical | xxxiv, 779 pages ;26 cm |
| publication | – publisher: Cambridge University Press dateOfPublication: 1996 |
| publishDate | 1996 |
| subjects | |
| title | The B-book : assigning programs to meanings / J.-R. Abrial. |
| topic | B method (Computer science) Systems software. Programming (Electronic computers) B method (Computer science) SoftwareDesign |