ببليوغرافيا الكتب الإنجليزية
فهرسة أكثر من أربعة ملايين وثلاثمائة ألف كتاب باللغة الإنجليزية مع ترجمة العنوان واسم المؤلف للغة العربية
FME 2001
Arabic Title : | FME 2001: الطرق الرسمية لزيادة إنتاجية البرمجيات: الندوة الدولية للأساليب الرسمية أوروبا، برلين، ألمانيا، 12-16 مارس 2001: الإجراءات |
BNB number : | GBA119062 |
Date published : | 2001 |
Has extent : | xii, 628 p. |
Has note on contents : | Includes bibliographical references and index. |
ISBN : | 3540417915 |
ISBN10 : | 3540417915 |
Title : | FME 2001 : formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings |
Contributor : | Oliveira José N. Zave Pamela 1948- |
Subject : | 005.1 Computer software--Development --Congresses Computer software--Development--Congresses |
Has carrier type : | volume |
Has content type : | text |
Has media type : | unmediated |
Identifier : | http://bnb.data.bl.uk/id/resource/GBA119062 |
Language : | http://lexvo.org/id/iso639-3/eng |
Publication : | Berlin ; London : Springer, c2001 |
Url : | 007756760 |