Titlebook: Mathematical Foundations of Computer Science 1980; 9th Symposium Held i P. Dembiński Conference proceedings 1980 Springer-Verlag Berlin Hei

驱逐

书目名称Mathematical Foundations of Computer Science 1980影响因子(影响力)




书目名称Mathematical Foundations of Computer Science 1980影响因子(影响力)学科排名




书目名称Mathematical Foundations of Computer Science 1980网络公开度




书目名称Mathematical Foundations of Computer Science 1980网络公开度学科排名




书目名称Mathematical Foundations of Computer Science 1980被引频次




书目名称Mathematical Foundations of Computer Science 1980被引频次学科排名




书目名称Mathematical Foundations of Computer Science 1980年度引用




书目名称Mathematical Foundations of Computer Science 1980年度引用学科排名




书目名称Mathematical Foundations of Computer Science 1980读者反馈




书目名称Mathematical Foundations of Computer Science 1980读者反馈学科排名

松果

搜集

Compound algebraic implementations: An approach to stepwise refinement of software systems,hieve closure under composition. These results can be extended to compound algebraic implementations which are syntactically defined to be sequences of (weak) implementations according to the idea of stepwise refinement of software systems.

哥哥喷涌而出

Formal description of programming concepts,n Software Development. The vast resources today spent on testing, integrating & maintaining software must be redirected into Architecting and the many, useful steps of Design. Computer Science Theory needs focus far more attention on ‘Formal Description of Programming Concepts’, and on ‘Programming Methodology’ than we see done today.

救护车

并排上下

mediocrity

无可争辩

0302-9743 Overview: 978-3-540-10027-0978-3-540-38194-5Series ISSN 0302-9743 Series E-ISSN 1611-3349

思考

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/626118.jpg

Confidential