Models of Computation
暫譯: 計算模型

Bruni, Roberto, Montanari, Ugo

Models of Computation
  • 出版商: Springer
  • 出版日期: 2018-07-18
  • 售價: $2,860
  • 貴賓價: 9.5 折 $2,717
  • 語言: 英文
  • 頁數: 395
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3319826891
  • ISBN-13: 9783319826899

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

商品描述

This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and interactive models; and probabilistic/stochastic models.

The authors have class-tested the book content over many years, and it will be valuable for graduate and advanced undergraduate students of theoretical computer science and distributed systems, and for researchers in this domain. Each chapter of the book concludes with a list of exercises addressing the key techniques introduced, solutions to selected exercises are offered at the end of the book.

商品描述(中文翻譯)

這本書以基本形式介紹了最重要的計算模型、基本的程式設計範式以及它們的數學描述，包括具體和抽象的部分。每個模型都附有相關的形式技術，用於對其進行推理和證明某些性質。在介紹結構和意義、語義方法、推理規則以及邏輯程式設計的初步章節之後，作者將章節分為幾個部分，包括 IMP，一種簡單的命令式語言；HOFL，一種高階函數語言；並發、非確定性和互動模型；以及概率/隨機模型。

作者在多年來對書中的內容進行了課堂測試，這本書對於理論計算機科學和分散式系統的研究生及高年級本科生，以及該領域的研究人員將具有重要價值。每章結尾都有一系列練習題，針對所介紹的關鍵技術，書末提供了部分練習題的解答。

作者簡介

Roberto Bruni is an associate professor in the Dept. of Computer Science of the University of Pisa. His research interests include concurrency, operational semantics, Petri nets, Java programming, business process modelling, software composition, and fog computing, and he teaches related courses to computer science and business informatics graduate and undergraduate students. He has served the community with committee membership of conferences such as FACS, Coordination, CONCUR and WRLA. He was previously an international fellow of the SRI International Computer Science Laboratory, and a visiting scholar of the University of Illinois at Urbana-Champaign.

Ugo Montanari is an emeritus professor in the Dept. of Computer Science of the University of Pisa. He has published over 400 refereed articles or papers in theoretical computer science and artificial intelligence. His current research interests are the semantics of concurrency, process description languages, constraint programming, graph transformation systems, coordination models, algebraic and categorical models of concurrency, models and languages for open distributed systems, network-aware programming, service-oriented computing, and collective autonomic systems. He has served as a board member for key international scientific journals such as Fundamenta Informaticae, Theoretical Computer Science, Computer Science Review, Artificial Intelligence, the IEEE Transactions on Software Engineering, Logic Programming, Science of Computer Programming, Theory and Practice of Logic Programming, and New Generation Computing, and he has served the community as a chair or committee member, PC or steering, of major related conferences such as CONCUR, WRLA, CP, CALCO, CMCS, ICGT, and TGC. He was Vice-Director of the IMT School for Advanced Studies, Lucca. He is member of the Academia Europaea.

作者簡介(中文翻譯)

羅伯托·布魯尼（Roberto Bruni）是比薩大學（University of Pisa）計算機科學系的副教授。他的研究興趣包括並發性、操作語義、佩特里網（Petri nets）、Java 程式設計、業務流程建模、軟體組合以及雲端計算，並教授相關課程給計算機科學及商業資訊學的研究生和本科生。他曾擔任 FACS、Coordination、CONCUR 和 WRLA 等會議的委員會成員，為社群服務。他曾是 SRI International 計算機科學實驗室的國際研究員，並曾擔任伊利諾伊大學香檳分校（University of Illinois at Urbana-Champaign）的訪問學者。

烏戈·蒙塔納里（Ugo Montanari）是比薩大學計算機科學系的名譽教授。他在理論計算機科學和人工智慧領域發表了超過 400 篇經過審核的文章或論文。他目前的研究興趣包括並發性的語義、過程描述語言、約束程式設計、圖形轉換系統、協調模型、代數和範疇模型的並發性、開放分散系統的模型和語言、網路感知程式設計、服務導向計算以及集體自動系統。他曾擔任多本重要國際科學期刊的編委，如 Fundamenta Informaticae、Theoretical Computer Science、Computer Science Review、Artificial Intelligence、IEEE Transactions on Software Engineering、Logic Programming、Science of Computer Programming、Theory and Practice of Logic Programming 和 New Generation Computing，並在 CONCUR、WRLA、CP、CALCO、CMCS、ICGT 和 TGC 等主要相關會議中擔任主席或委員會成員、程序委員會或指導委員會成員。他曾擔任盧卡高等研究學校（IMT School for Advanced Studies, Lucca）的副主任。他是歐洲學院（Academia Europaea）的成員。

類似商品

最後瀏覽商品 (18)