程序構造數學中的代數與餘代數方法/Algebraic and coalgebraic methods in the mathematics of program construction 2024 pdf epub mobi 電子書 下載

☆☆☆☆☆
簡體網頁||繁體網頁

程序構造數學中的代數與餘代數方法/Algebraic and coalgebraic methods in the mathematics of program construction pdf epub mobi 著者簡介

---

程序構造數學中的代數與餘代數方法/Algebraic and coalgebraic methods in the mathematics of program construction pdf epub mobi 圖書描述

在綫閱讀本書

Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and allegory theory.

This textbook-like tutorial presents, besides an introduction, eight coherently written chapters by leading authorities on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, algebraic methods for optimization problems, and temporal algebra.

程序構造數學中的代數與餘代數方法/Algebraic and coalgebraic methods in the mathematics of program construction 2024 pdf epub mobi 電子書 下載

---

程序構造數學中的代數與餘代數方法/Algebraic and coalgebraic methods in the mathematics of program construction pdf epub mobi 圖書目錄

---

下載链接在页面底部

點擊這裡下載

    

---

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

---

想要找書就要到 本本書屋

onlinetoolsland.com

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

---

發表於2024-12-03

程序構造數學中的代數與餘代數方法/Algebraic and coalgebraic methods in the mathematics of program construction 2024 pdf epub mobi 電子書 下載

程序構造數學中的代數與餘代數方法/Algebraic and coalgebraic methods in the mathematics of program construction 2024 pdf epub mobi 電子書 下載

程序構造數學中的代數與餘代數方法/Algebraic and coalgebraic methods in the mathematics of program construction 2024 pdf epub mobi 電子書 下載

---

喜欢 程序構造數學中的代數與餘代數方法/Algebraic and coalgebraic methods in the mathematics of program construction 電子書 的读者还喜欢

程序構造數學中的代數與餘代數方法/Algebraic and coalgebraic methods in the mathematics of program construction pdf epub mobi 讀後感

圖書標籤: 數學  計算機科學  餘代數  Formalism  CS   

程序構造數學中的代數與餘代數方法/Algebraic and coalgebraic methods in the mathematics of program construction pdf epub mobi 用戶評價

程序構造數學中的代數與餘代數方法/Algebraic and coalgebraic methods in the mathematics of program construction 2024 pdf epub mobi 電子書 下載

• 
  程序構造的數學 Mathematics of program construction 2024 pdf epub mobi 電子書 下載
• 
  數據庫與專傢係統及應用 2024 pdf epub mobi 電子書 下載
• 
  Health Care for the Poor in Latin America and the Caribbean 2024 pdf epub mobi 電子書 下載
• 
  On Account of Sex 2024 pdf epub mobi 電子書 下載
• 
  Greek Art from Prehistoric to Classical 2024 pdf epub mobi 電子書 下載
• 
  Small Wars 2024 pdf epub mobi 電子書 下載
• 
  Barriers to Information 2024 pdf epub mobi 電子書 下載
• 
  The Secret Knowledge of the Neophyte 2024 pdf epub mobi 電子書 下載
• 
  The Weekend Weight-Loss Plan 2024 pdf epub mobi 電子書 下載
• 
  Busting Vegas 2024 pdf epub mobi 電子書 下載
• 
  Where Have All the Leaders Gone? 2024 pdf epub mobi 電子書 下載
• 
  Free World 2024 pdf epub mobi 電子書 下載
• 
  501 Grammar & Writing Questions 2nd Edition 2024 pdf epub mobi 電子書 下載
• 
  The Arts of Korea 2024 pdf epub mobi 電子書 下載
• 
  Challenging Behavior in Elementary and Middle School 2024 pdf epub mobi 電子書 下載
• 
  伯明翰來瞭HERE COMES BRUM 2024 pdf epub mobi 電子書 下載
• 
  Rupert and the Baby Bird 2024 pdf epub mobi 電子書 下載
• 
  Tales from the Odyssey 2024 pdf epub mobi 電子書 下載
• 
  SPOT AT HOME 2024 pdf epub mobi 電子書 下載
• 
  What's That Noise? 2024 pdf epub mobi 電子書 下載