| 書目名稱 | Formal Program Development |
| 副標題 | IFIP TC2/WG 2.1 Stat |
| 編輯 | Bernhard M?ller,Helmut Partsch,Steve Schuman |
| 視頻video | http://file.papertrans.cn/346/345896/345896.mp4 |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | This volume contains the background texts for an IFIPState-of-the-ArtSeminar on Formal Program Development, heldin early 1992 near Rio de Janeiro, Brazil.The book stems from work done by IFIP Working Group 2.1onAlgorithmic Languages and Calculi. Since 1975, the WorkingGroup has increasingly focused on systematic approaches toprogramming and on appropriate concepts and notations tosupport such approaches. Today, the calculation of programsfrom specifications constitutes the central theme ofthegroup‘s work. Thus the core interests of the group are:- formalspecification of solutions to problems, and- formal development/calculationof programs from suchspecifications. |
| 出版日期 | Book 1993 |
| 關(guān)鍵詞 | Formal Methods; Formal Program Development; Formal Specification; Formale Methoden; Formale Programmentw |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-57499-9 |
| isbn_softcover | 978-3-540-57499-6 |
| isbn_ebook | 978-3-540-48197-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1993 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-14 23:24
發(fā)表于 2025-3-21 20:01:46
