購物比價找書網找車網
FindBook
排序:
 
 有 49 項符合

deva

的圖書,這是第 5 頁
The Generic Development Language Deva: Presentation and Case Studies
$ 3299
The Generic Development Language Deva: Presentation and Case Studies
作者:Weber 
出版社:Springer
出版日期:1993-10-28
語言:英文   規格:平裝 / 251頁 / 23.4 x 15.5 x 1.5 cm / 普通級
博客來 博客來 - 程式語言  - 來源網頁  
圖書介紹看圖書介紹
圖書介紹 - 資料來源:博客來   評分:
圖書名稱:The Generic Development Language Deva: Presentation and Case Studies

內容簡介

This book summarizes work done by the authors under the Esprit Tool Use project (1985-1990), at GMD in Karlsruhe and at Berlin University of Technology. It provides a comprehensive description of the generic development language Deva designed by the authors. Much of the research reported in this monograph is inspired by the work of Michel Sintzoff on formal program development; he contributed an enlightening Foreword. Deva is essentially a typed functional language with certain deduction rules. The difference with ordinary languages is, of course, the application domain: the types serve here to express propositions such as specifications or programs, rather than just data classes. Its practical applicability was tested on several non-trivial case studies. The whole book is written using the DVWEB system, a WEB for Deva, beeing implemented at the Berlin University of Technology.

 

詳細資料

  • ISBN:9783540573357
  • 規格:平裝 / 251頁 / 23.4 x 15.5 x 1.5 cm / 普通級
  • 出版地:美國
贊助商廣告
 
金石堂 - 今日66折
情商致勝:完勝職場與人生的12.5堂課與實戰演練
作者:蓋瑞.范納洽
出版社:方智出版社股份有限公司
出版日期:2022-03-01
66折: $ 238 
金石堂 - 今日66折
倖存之家
作者:安.派契特
出版社:寂寞出版社
出版日期:2022-01-01
66折: $ 317 
金石堂 - 今日66折
品格優勢:成就孩子「王者之力」,從容應對未來的競爭與機遇
作者:彭凱平、閆偉
出版社:如何出版社
出版日期:2022-09-01
66折: $ 251 
金石堂 - 今日66折
一天工作6分鐘:世界級商業領袖教你用槓桿力,創造豐足與自由
作者:道格拉斯.維米爾
出版社:方智出版社股份有限公司
出版日期:2022-07-01
66折: $ 205 
 
Taaze 讀冊生活 - 暢銷排行榜
從內做起:頂尖領導大師淬鍊25年的10堂課
作者:約翰.麥斯威爾
出版社:天恩
出版日期:2020-10-01
$ 379 
金石堂 - 暢銷排行榜
魔女與貓(全)
作者:黑井よだか
出版社:青文出版社股份有限公司
出版日期:2024-12-18
$ 111 
Taaze 讀冊生活 - 暢銷排行榜
把時間買回來:讓你一本驚醒、一本初衷的經管奇書
作者:丹.馬特爾
出版社:一起來出版
出版日期:2024-09-11
$ 363 
Taaze 讀冊生活 - 暢銷排行榜
我可能錯了:森林智者的最後一堂人生課
作者:比約恩.納提科.林德布勞、卡洛琳.班克勒、納維德.莫迪里
出版社:先覺出版
出版日期:2023-02-01
$ 355 
 
金石堂 - 新書排行榜
【限量作者親簽+顯化貼紙】你的宇宙訂單已到貨!小魔女九粒的顯化養成指南(1書+1手帳)
作者:九粒Jolie
出版社:方智出版社股份有限公司
出版日期:2025-01-01
$ 403 
Taaze 讀冊生活 - 新書排行榜
言論自由
作者:艾蒂安.巴禮巴
出版社:南方家園文化事業有限公司
出版日期:2024-12-30
$ 252 
Taaze 讀冊生活 - 新書排行榜
AI霸主︰OpenAI、DeepMind與科技巨頭顛覆世界的競賽
作者:帕米.奧森
出版社:遠見天下文化出版股份有限公司
出版日期:2024-12-25
$ 413 
Taaze 讀冊生活 - 新書排行榜
連鎖加盟業不可不知的法律風險
作者:可道律師事務所
出版社:商周出版
出版日期:2024-12-28
$ 240 
 

©2025 FindBook.com.tw -  購物比價  找書網  找車網  服務條款  隱私權政策