The B-book : assigning programs to meanings /
57
| Main Author: | |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Cambridge : Cambridge University Press,
1996
|
| Subjects: |
| _version_ | 1796675000245157888 |
|---|---|
| author | 255155 Abrial, Jean-Raymond |
| author_facet | 255155 Abrial, Jean-Raymond |
| author_sort | 255155 Abrial, Jean-Raymond |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-04T19:53:35Z |
| format | |
| id | KOHA-OAI-TEST:148303 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-04T19:53:35Z |
| publishDate | 1996 |
| publisher | Cambridge : Cambridge University Press, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:1483032020-12-19T17:03:43ZThe B-book : assigning programs to meanings / 255155 Abrial, Jean-Raymond Cambridge : Cambridge University Press,1996eng575859PSZJBLB method (Computer science)URN:ISBN:9780521021753 (pbk.)URN:ISBN:0521021758 (pbk.) |
| spellingShingle | B method (Computer science) 255155 Abrial, Jean-Raymond The B-book : assigning programs to meanings / |
| title | The B-book : assigning programs to meanings / |
| title_full | The B-book : assigning programs to meanings / |
| title_fullStr | The B-book : assigning programs to meanings / |
| title_full_unstemmed | The B-book : assigning programs to meanings / |
| title_short | The B-book : assigning programs to meanings / |
| title_sort | b book assigning programs to meanings |
| topic | B method (Computer science) |
| work_keys_str_mv | AT 255155abrialjeanraymond thebbookassigningprogramstomeanings AT 255155abrialjeanraymond bbookassigningprogramstomeanings |