Titlebook: VDM ‘88. VDM - The Way Ahead; 2nd VDM-Europe Sympo Robin E. Bloomfield,Lynn S. Marshall,Roger B. Jone Conference proceedings 1988 Springer-

CHAFF

書目名稱VDM ‘88. VDM - The Way Ahead影響因子(影響力)




書目名稱VDM ‘88. VDM - The Way Ahead影響因子(影響力)學(xué)科排名




書目名稱VDM ‘88. VDM - The Way Ahead網(wǎng)絡(luò)公開度




書目名稱VDM ‘88. VDM - The Way Ahead網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱VDM ‘88. VDM - The Way Ahead被引頻次




書目名稱VDM ‘88. VDM - The Way Ahead被引頻次學(xué)科排名




書目名稱VDM ‘88. VDM - The Way Ahead年度引用




書目名稱VDM ‘88. VDM - The Way Ahead年度引用學(xué)科排名




書目名稱VDM ‘88. VDM - The Way Ahead讀者反饋




書目名稱VDM ‘88. VDM - The Way Ahead讀者反饋學(xué)科排名

鈍劍

A three-valued logic for software specification and validation,tudy some of their basic properties..The second part of the paper is devoted to the development of a formal deductive system of inference rules for a three-valued logic. We use the method of semantic tableaux (slightly modified to deal with three-valued formulas) to develop a Gentzenstyle system of

HPA533

胰島素

Understanding an informal description: Office documents architecture, an ISO standard,

雪崩

Report from the BSI panel for the standardisation of VDM (IST/5/50),

Encoding

,Formal methods in standards—A report from the BCS working group,

托運(yùn)

Fallibility

Robin E. Bloomfield,Lynn S. Marshall,Roger B. Jone

constellation

0302-9743 tion of VDM. The proceedings are of interest to all those concerned with the application of more rigorous approaches to software development and the associated 978-3-540-50214-2978-3-540-45955-2Series ISSN 0302-9743 Series E-ISSN 1611-3349

人類的發(fā)源

of the possible approaches to the treatment of mucus hypersecretion and the interaction of these drugs with airway mucus. Written by leading experts in the field, each contribution provides a comprehensive review of its particular subject. Reflecting the latest advances in this important area of res