Titlebook: Algebraic Methodology and Software Technology; 4th International Co V. S. Alagar,Maurice Nivat Conference proceedings 1995 Springer-Verlag

Addiction

书目名称Algebraic Methodology and Software Technology影响因子(影响力)




书目名称Algebraic Methodology and Software Technology影响因子(影响力)学科排名




书目名称Algebraic Methodology and Software Technology网络公开度




书目名称Algebraic Methodology and Software Technology网络公开度学科排名




书目名称Algebraic Methodology and Software Technology被引频次




书目名称Algebraic Methodology and Software Technology被引频次学科排名




书目名称Algebraic Methodology and Software Technology年度引用




书目名称Algebraic Methodology and Software Technology年度引用学科排名




书目名称Algebraic Methodology and Software Technology读者反馈




书目名称Algebraic Methodology and Software Technology读者反馈学科排名

ALLEY

Verification in continuous time by discrete reasoning,

Cocker

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/a/image/152665.jpg

儿童

https://doi.org/10.1007/3-540-60043-4Algebraic Foundations; Algebraische Grundlagen; Category Theoory; Echtzeit-Systeme; Formal Methods; Forma

NEG

IRS

人造

Aditya Rawal,Jason Liang,Risto Miikkulainenhen writing formal specifications. The most conspicuous problem is learning to abstract. I address all these problems indirectly by giving a list of hints to specifiers. Thus this paper should be of interest not only to teachers of formal methods but also to their students.

痴呆

不可侵犯

Marvin Klingner,Tim Fingscheidtasynchronously by means of multiparty channels can be easily created. In this paper we study correctness these programs. In particular, we propose proof methods allowing us to deal with occur check freedom, absence of deadlock, absence of errors in presence of arithmetic relations, and termination.

effrontery

Oliver Grau,Korbinian Hagn,Qutub Syed Shabeyond terms, so as to include: Horn clause logic, with and without equality; all variants of order and many sorted equational logic, including working modulo a set of axioms; constraint logic programming over arbitrary user-defined data types; and any combination of the above. This unifies several