| 書目名稱 | Program Construction | | 副標(biāo)題 | International Summer | | 編輯 | Friedrich L. Bauer,Manfred Broy,H. W?ssner | | 視頻video | http://file.papertrans.cn/760/759827/759827.mp4 | | 叢書名稱 | Lecture Notes in Computer Science | | 圖書封面 |  | | 出版日期 | Book 1979 | | 關(guān)鍵詞 | Programmierung (EDV); algorithm; algorithms; networks; programming; programming language; semantics; verifi | | 版次 | 1 | | doi | https://doi.org/10.1007/BFb0014649 | | isbn_softcover | 978-3-540-09251-3 | | isbn_ebook | 978-3-540-35312-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1979 |
The information of publication is updating
|
|