Automata Theory and its Applications 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024

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

Bakhadyr Khoussainov 作者

Birkhäuser Boston

譯者

2001-6-8 出版日期

444 頁數

USD 99.00 價格

Hardcover

叢書系列

9780817642075 圖書編碼

Automata Theory and its Applications 在線電子書圖書標籤: 計算機科學自動機 Math

喜歡 Automata Theory and its Applications 在線電子書的讀者還喜歡

下載鏈接在頁面底部

點擊這裡下載

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

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

發表於2024-07-01

Automata Theory and its Applications 在線電子書 epub 下載 mobi 下載 pdf 下載 txt 下載 2024

Automata Theory and its Applications 在線電子書 epub 下載 pdf 下載 mobi 下載 txt 下載 2024

Automata Theory and its Applications 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024

Automata Theory and its Applications 在線電子書用戶評價

評分☆☆☆☆☆

Automata Theory and its Applications 在線電子書著者簡介

Automata Theory and its Applications 在線電子書 pdf 下載 txt下載 epub 下載 mobi 在線電子書下載

Automata Theory and its Applications 在線電子書圖書描述

Automata and Their Applications is a uniform treatment of the theory of finite state machines on finite and infinite strings and trees. Many books deal with automata on finite strings, but there are very few expositions that prove the fundamental results of automata on infinite strings and trees. These results have important applications to modeling parallel computation and concurrency, the specification and verification of sequential and concurrent programs, databases, operating systems, computational complexity, and decision methods in logic and algebra. Thus, this textbook fills an important gap in the literature. Beginning with coverage of all standard fundamental results regarding finite automata, the book deals Buchi and Rabin automata and their applications to operating systems, temporal logic and communication systems, as well as to various logical theories. The book is self-contained with numerous examples, illustrations, exercises, and is suitable for a two-semester undergraduate course or a one-semester graduate course/seminar. Since no advanced mathematical background is required, the text is also useful for self-study by computer science professionals who wish to understand the foundations of modern formal approaches to software development, validation, and verification.

Automata Theory and its Applications 在線電子書下載 mobi epub pdf txt 在線電子書下載

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!