Formal Models of Communicating Systems : Languages

Automataand Monadic Second-Order Logic

Printed Book
SR 471
Inclusive of VAT
Sold as: EACH
SR28Per Month/24 months
Author:Bollig, Benedikt
Date of Publication: 2010
Book classification:Computer & Technology,English Books,
No. of pages:192 Pages
Format:Paperback

This book is printed on demand and is non-refundable after purchase

Available Formats :

Printed Book

It will be sent to your address

SR471
Incl. VAT

Choose your delivery preference

Or

About this Product

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

Specifications

SKU9783642069475
Manufacturer Number9783642069475
year published2010
Show more

Report an issue with this product.

Customer Reviews