Summary goes here
Đã lưu trong:
| Định dạng: | Sách |
|---|---|
| Ngôn ngữ: | Tiếng Anh |
| Những chủ đề: | |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 149b9971-d376-41c3-97d2-9dddc6e1e507 |
| isbn | 3540679448 |
| issn | |
| language | eng |
| physical | xiv, 510 p. :ill. ;23 cm. |
| publication | – publisher: Springer dateOfPublication: c2000 |
| publishDate | c2000 |
| subjects | |
| title | ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings / Jonathan P. Bowen ... [et al.] (eds.). |
| topic | B (Computer program language) Z (Computer program language) Congresses. |