書目名稱 | Programming Symposium | 副標(biāo)題 | Proceedings, Colloqu | 編輯 | B. Robinet | 視頻video | http://file.papertrans.cn/761/760154/760154.mp4 | 叢書名稱 | Lecture Notes in Computer Science | 圖書封面 |  | 出版日期 | Conference proceedings 1974 | 關(guān)鍵詞 | Processing; control; patterns; programming; programming language; simulation; verification | 版次 | 1 | doi | https://doi.org/10.1007/3-540-06859-7 | isbn_softcover | 978-3-540-06859-4 | isbn_ebook | 978-3-540-37819-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 | issn_series | 0302-9743 | copyright | Springer-Verlag Berlin Heidelberg 1974 |
The information of publication is updating
|
|