Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic
| AUTHOR | Bollig, Benedikt |
| PUBLISHER | Springer (10/14/2010) |
| PRODUCT TYPE | Paperback (Paperback) |
Description
Preliminaries.- Graphs, Logics, and Graph Acceptors.- Words and Finite Automata.- Dags and Asynchronous Cellular Automata.- Mazurkiewicz Traces and Asynchronous Automata.- Message Sequence Charts.- Communicating Finite-State Machines.- Beyond Implementability.
Show More
Product Format
Product Details
ISBN-13:
9783642069475
ISBN-10:
3642069479
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
English
More Product Details
Page Count:
181
Carton Quantity:
46
Product Dimensions:
6.14 x 0.41 x 9.21 inches
Weight:
0.61 pound(s)
Country of Origin:
NL
Subject Information
BISAC Categories
Computers | Computer Science
Computers | Software Development & Engineering - General
Computers | Logic
Dewey Decimal:
004.015
Descriptions, Reviews, Etc.
publisher marketing
Preliminaries.- Graphs, Logics, and Graph Acceptors.- Words and Finite Automata.- Dags and Asynchronous Cellular Automata.- Mazurkiewicz Traces and Asynchronous Automata.- Message Sequence Charts.- Communicating Finite-State Machines.- Beyond Implementability.
Show More
List Price $54.99
Your Price
$54.44