ببليوغرافيا الكتب الإنجليزية
فهرسة أكثر من أربعة ملايين وثلاثمائة ألف كتاب باللغة الإنجليزية مع ترجمة العنوان واسم المؤلف للغة العربية
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 |
Warning: Undefined array key "record_id" in /home/islamarchive/public_html/templates_c/6895ea53a1d7769c9817d07ce384591b45e1badb_0.file.bib_lib_en.tpl.php on line 426
/home/islamarchive/public_html/templates_c/6895ea53a1d7769c9817d07ce384591b45e1badb_0.file.bib_lib_en.tpl.php on line 432
Warning: Attempt to read property "value" on null in /home/islamarchive/public_html/templates_c/6895ea53a1d7769c9817d07ce384591b45e1badb_0.file.bib_lib_en.tpl.php on line 432
Warning: Trying to access array offset on value of type null in /home/islamarchive/public_html/templates_c/6895ea53a1d7769c9817d07ce384591b45e1badb_0.file.bib_lib_en.tpl.php on line 432
/themes/img/main_sec/bib_no_cover.jpeg" style="width: 100%;">