Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings (Lecture Notes in Computer Science)
暫譯: 程式語言：實作、邏輯與程式：第七屆國際研討會 PLILP '95，荷蘭烏特勒支，1995年9月20日至22日。會議錄（計算機科學講義）

***

Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 1995-09-11
  • 售價: $2,470
  • 貴賓價: 9.5 折 $2,347
  • 語言: 英文
  • 頁數: 476
  • 裝訂: Paperback
  • ISBN: 354060359X
  • ISBN-13: 9783540603597
  • 相關分類: Computer-Science

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995. The book presents 26 refereed full papers selected from 84 submissions; they report research on declarative programming languages and provide insights in the relation between the logic of those languages, implementation techniques, and the use of these languages in constructing real programs. In addition there are abstracts or full presentations of three invited talks as well as eight posters and demonstrations.

商品描述(中文翻譯)

本書為第七屆國際程式語言研討會：實作、邏輯與程式（PLILP '95）的會議紀錄，該會議於1995年9月在荷蘭烏特勒支舉行。本書收錄了從84篇投稿中選出的26篇經過審核的完整論文；這些論文報告了有關宣告式程式語言的研究，並提供了這些語言的邏輯、實作技術以及在構建實際程式中使用這些語言之間的關係的見解。此外，書中還包含了三篇受邀演講的摘要或完整報告，以及八篇海報和演示的內容。

類似商品