ببليوغرافيا الكتب الإنجليزية
فهرسة أكثر من أربعة ملايين وثلاثمائة ألف كتاب باللغة الإنجليزية مع ترجمة العنوان واسم المؤلف للغة العربية
Formal methods for open object-based distributed systems IV
| Arabic Title : | الطرق الرسمية للأنظمة الموزعة على الأجسام المفتوحة على الأجسام الرابع: مؤتمر إيفيب TC6 / WG6.1 الرابع حول الأساليب الرسمية للنظم الموزعة على الأجسام المفتوحة (FMOODS 2000)، 6-8 سبتمبر 2000، ستانفورد، كاليفورنيا، الولايات المتحدة الأمريكية |
| BNB number : | GBA064612 |
| Date published : | 2000 |
| Has extent : | xii, 417 p. |
| Has note on contents : | Includes bibliographical references. |
| ISBN : | 0792379233 |
| ISBN10 : | 0792379233 |
| Title : | Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA |
| Contributor : | Talcott Carolyn L. International Federation for Information Processing Smith Scott F. |
| Subject : | Object-oriented programming (Computer science)--Congresses Electronic data processing--Distributed processing--Congresses 005.117 |
| Has carrier type : | volume |
| Has content type : | text |
| Has media type : | unmediated |
| Identifier : | http://bnb.data.bl.uk/id/resource/GBA064612 |
| Language : | http://lexvo.org/id/iso639-3/eng |
| Publication : | Boston, Mass. ; London : Kluwer Academic, c2000 |
| Url : | 008431085 |
