Benedikt Bollig
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-order Logic Benedikt Bollig 1st Ed. Softcover of Orig. Ed. 2006 edition

Name: Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-order Logic
Price: 63.99 EUR
Availability: OutOfStock
Author: Benedikt Bollig

Cena

€ 63,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 21. aug. - . gada 4. sept.

Saņemiet paziņojumus par jauniem Benedikt Bollig izdevumiem

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-order Logic

Benedikt Bollig

1st Ed. Softcover of Orig. Ed. 2006 edition

This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. It provides a unifying theory of communicating automata and their logical properties. Based on Hanf's Theorem and Thomas's graph acceptors, it develops a result that allows characterization of many popular models of distributed computation in terms of the existential fragment of monadic second-order logic.

181 pages, 6 black & white tables, biography

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2010. gada 14. oktobris
ISBN13	9783642069475
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	181
Izmēri	156 × 234 × 10 mm · 276 g
Valoda	Angļu