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 在线电子书的读者还喜欢

下载链接在页面底部

点击这里下载

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-11-26

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

Automata Theory and its Applications 在线电子书 epub 下载 mobi 下载 pdf 下载 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 在线电子书图书目录

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收藏本页

你会得到大惊喜!!