Titlebook: Axiomatising the Logic of Computer Programming; Robert Goldblatt Book 1982 Springer-Verlag Berlin Heidelberg 1982 Programmierlogik.compute

貪求

書目名稱Axiomatising the Logic of Computer Programming影響因子(影響力)




書目名稱Axiomatising the Logic of Computer Programming影響因子(影響力)學科排名




書目名稱Axiomatising the Logic of Computer Programming網(wǎng)絡(luò)公開度




書目名稱Axiomatising the Logic of Computer Programming網(wǎng)絡(luò)公開度學科排名




書目名稱Axiomatising the Logic of Computer Programming被引頻次




書目名稱Axiomatising the Logic of Computer Programming被引頻次學科排名




書目名稱Axiomatising the Logic of Computer Programming年度引用




書目名稱Axiomatising the Logic of Computer Programming年度引用學科排名




書目名稱Axiomatising the Logic of Computer Programming讀者反饋




書目名稱Axiomatising the Logic of Computer Programming讀者反饋學科排名

intellect

978-3-540-11210-5Springer-Verlag Berlin Heidelberg 1982

圓柱

隱士

0302-9743 Overview: 978-3-540-11210-5978-3-540-39038-1Series ISSN 0302-9743 Series E-ISSN 1611-3349

AVID

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/b/image/167737.jpg

Little

6樓

nonchalance

7樓

essential-fats

8樓

LINE

9樓

Pelago

10樓