ببليوغرافيا الكتب الإنجليزية
فهرسة أكثر من أربعة ملايين وثلاثمائة ألف كتاب باللغة الإنجليزية مع ترجمة العنوان واسم المؤلف للغة العربية
High integrity Ada / J. G. P. Barnes
| Arabic Title : | النزاهة العالية ADA: طريقة الشرارة |
| BNB number : | GB9750416 |
| Date published : | 1997 |
| Has extent : | xvi,368p. |
| ISBN : | 0201175177 |
| ISBN10 : | 0201175177 |
| Author : | Barnes, J. G. P. (John Gilbert Presslie) |
| Title : | High integrity Ada : the SPARK approach |
| Contributor : | Praxis Critical Systems Limited |
| Subject : | 005.133 Ada (Computer program language) |
| Creator : | Barnes, J. G. P. (John Gilbert Presslie) |
| Has carrier type : | volume |
| Has content type : | text |
| Has media type : | unmediated |
| Description : | Bibliography: p361-362. _ Includes index., One CD ROM in pocket attached to inside back cover. |
| Identifier : | http://bnb.data.bl.uk/id/resource/GB9750416 |
| Language : | http://lexvo.org/id/iso639-3/eng |
| Publication : | Harlow : Addison-Wesley, 1997 |
| Url : | 007354526 |
