ببليوغرافيا الكتب الإنجليزية
فهرسة أكثر من أربعة ملايين وثلاثمائة ألف كتاب باللغة الإنجليزية مع ترجمة العنوان واسم المؤلف للغة العربية
Temporal verification of reactive systems / Zohar Manna
Arabic Title : | التحقق الزمني للأنظمة التفاعلية: الأمان |
BNB number : | GB9605251 |
Date published : | 1995 |
Has extent : | xviii, 512p. |
ISBN : | 0387944591 |
ISBN10 : | 0387944591 |
Author : | Manna, Zohar |
Title : | Temporal verification of reactive systems : safety |
Contributor : | Pnueli Amir 1941-2009 |
Subject : | Computer software--Verification Parallel processing (Electronic computers) 005.1 |
Creator : | Manna, Zohar |
Has carrier type : | volume |
Has content type : | text |
Has media type : | unmediated |
Description : | Bibliography: p[465]-479. _ Includes index. |
Identifier : | http://bnb.data.bl.uk/id/resource/GB9605251 |
Language : | http://lexvo.org/id/iso639-3/eng |
Publication : | New York ; London : Springer, c1995 |
Url : | 008421236 |