ببليوغرافيا الكتب الإنجليزية
فهرسة أكثر من أربعة ملايين وثلاثمائة ألف كتاب باللغة الإنجليزية مع ترجمة العنوان واسم المؤلف للغة العربية
Formal specification / Nimal Nissanke
Arabic Title : | المواصفات الرسمية: التقنيات والتطبيقات |
BNB number : | GB9954428 |
Date published : | 1999 |
Has extent : | xvii, 295 p. |
Has note on contents : | Includes bibliographical references and index. |
ISBN : | 1852330023 |
ISBN10 : | 1852330023 |
Author : | Nissanke, Nimal |
Title : | Formal specification : techniques and applications |
Subject : | Formal methods (Computer science) Application software--Development 005.120151 Z (Computer program language) |
Creator : | Nissanke, Nimal |
Has carrier type : | volume |
Has content type : | text |
Has media type : | unmediated |
Identifier : | http://bnb.data.bl.uk/id/resource/GB9954428 |
Language : | http://lexvo.org/id/iso639-3/eng |
Publication : | London : Springer, c1999 |
Url : | http://bnb.data.bl.uk/id/resource/011020636 |