ببليوغرافيا الكتب الإنجليزية
فهرسة أكثر من أربعة ملايين وثلاثمائة ألف كتاب باللغة الإنجليزية مع ترجمة العنوان واسم المؤلف للغة العربية
Software engineering with B / J. B. Wordsworth
| Arabic Title : | هندسة البرمجيات مع ب |
| BNB number : | GB9706856 |
| Date published : | 1996 |
| Has extent : | xv, 331p. |
| ISBN : | 0201403560 |
| ISBN10 : | 0201403560 |
| Author : | Wordsworth, J. B. (John B.) |
| Title : | Software engineering with B |
| Subject : | Software engineering 005.133 B (Computer program language) |
| Creator : | Wordsworth, J. B. (John B.) |
| Has carrier type : | volume |
| Has content type : | text |
| Has media type : | unmediated |
| Description : | Includes index., One 3.5 in. computer disk in pocket attached to inside back cover. |
| Identifier : | http://bnb.data.bl.uk/id/resource/GB9706856 |
| Language : | http://lexvo.org/id/iso639-3/eng |
| Publication : | Harlow : Addison-Wesley, 1996 |
| Url : | 007355028 |
Software development with Z / J. B. Wordsworth
| Arabic Title : | تطوير البرمجيات مع Z: نهج عملي للطرق الرسمية في هندسة البرمجيات: J. B. WordSworth |
| BNB number : | GB9234000 |
| Date published : | 1992 |
| Has extent : | xii,334p. |
| ISBN : | 0201627574 |
| ISBN10 : | 0201627574 |
| Author : | Wordsworth, J. B. (John B.) |
| Title : | Software development with Z : a practical approach to formal methods in software engineering : J. B. Wordsworth |
| Subject : | 005.133 |
| Creator : | Wordsworth, J. B. (John B.) |
| Has carrier type : | volume |
| Has content type : | text |
| Has media type : | unmediated |
| Description : | Bibliography: p321-324. -Includes index. |
| Identifier : | http://bnb.data.bl.uk/id/resource/GB9234000 |
| Language : | http://lexvo.org/id/iso639-3/eng |
| Publication : | Wokingham : Addison-Wesley, 1992 |
| Url : | 007355841 |
