Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 5.49 € GLS courier 10.49 €
phone Contact phoneHow to shop

Formal Models of Communicating Systems

Languages, Automata, and Monadic Second-Order Logic

Language EnglishEnglish
Book Paperback
Book Formal Models of Communicating Systems Benedikt Bollig
Libristo code: 02108311
Publishers Springer, Berlin, November 2009
This book studies the relationship between automata and monadic second-order logic, focusing on clas... Full description
? points 125 b
51.35 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Metaheuristics and Reinforcement Techniques for Smart Sensor Applications Manju / Book Hardback
common.buy 202.93 €
Kaarnan katkossa Helminen / Audiobook MP3
common.buy 9.84 €
Con faldas y... pelirrojo PATTY MCMAHOU / Book Paperback
common.buy 6.22 €
Die Malerei im 19. Jahrhundert Max Deri / Book Paperback
common.buy 26.63 €
Die Welt von Peter Hase Allen eine gute Nacht Cordula Jänke / Book Hardback
common.buy 14.66 €
Canzone E Cantate Fagioli/Pianca/Halubek / Audio Audio CD
common.buy 23.92 €
Moje štěně Zdeněk Miler / Book Board book
common.buy 4.81 €
Etude des materiaux composites Omeonu Temple O. Omeonu / Book Paperback
common.buy 32.77 €
Palmir Baum / Book Hardback
common.buy 21.30 €
Vérités des choses, mensonge de l'homme dans "Madame Bovary" de Flaubert - de la nature au Narcisse Philippot / Book Hardback
common.buy 84.72 €
Pier Paolo Pasolini, au-delà du destin Soleil / Book Hardback
common.buy 25.82 €
Nouveaux outils pour le francais CE2 Guide pedagogique + CD-ROM AMINTA / Digital Digital CD
common.buy 57.18 €
Blutdruckpass: Mein Kompaktes Blutdruck-Tagebuch im kleinen ca. A6 Format Für 1160 Eintragungen unterwegs oder zuhause Kreative Logbucher / Book Paperback
common.buy 7.13 €
Gestão do conhecimento Marcelo Ladislau da Silva / Book Paperback
common.buy 44.22 €
La grande cucina vegetariana Carlo Bernasconi / Book Paperback
common.buy 19.59 €
Ejercicios resueltos de estadística para ciencias sociales José Juan Cáceres Hernández / Book Paperback
common.buy 23.71 €
Risaleler Hasan El-Benna / Book Paperback
common.buy 29.85 €
Přehledné dějiny literatury II Bohuš Balajka / Book Paperback
common.buy 7.93 €
Black Butler. Bd.13 Yana Toboso / Book Paperback
common.buy 6.82 €
Mit Bilder lernen Hans-Friedrich Schuckall / Book Paperback
common.buy 37.68 €
JFK 034 - Bez naděje Julie Nováková / Book Paperback
common.buy 6.72 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Models of Communicating Systems
Author Benedikt Bollig
Language English
Binding Book - Paperback
Date of issue 2010
Number of pages 181
EAN 9783642069475
ISBN 3642069479
Libristo code 02108311
Publishers Springer, Berlin
Weight 302
Dimensions 156 x 234 x 10

Categories

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer networking & communications
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Science of Racism Keon West / Book Paperback
common.buy 20.09 €
Arrogance of American Power Nancy Snow / Book Paperback
common.buy 51.35 €
Rapperswil / Printed items Map
common.buy 28.84 €
Flight of Ikaros Kevin Andrews / Book Paperback
common.buy 22.00 €
Digital Ethnography Sarah Pink / Book Paperback
common.buy 35.57 €
Multidisciplinary Contributions to the Science of Creative Thinking Giovanni Emanuele Corazza / Book Hardback
common.buy 102.31 €
The Buddha of Suburbia Hanif Kureishi / Book Paperback
common.buy 14.56 €
VANISHING ACT OF ESME LENNOX Maggie O'Farrell / Book Paperback
common.buy 15.37 €
Leon and Bob Simon James / Book Paperback
common.buy 8.84 €
Reno's Riverwalk District Courtney Rhiana / Book Paperback
common.buy 21.20 €
Maze Puzzle for Kids Age 6-8 years, 50 Fun to Explore Maze: Activity book for Kids, Children Books, Brain Games, Young Adults, Hobbies Alice Shermann / Book Paperback
common.buy 8.94 €
Max Stirner's Egoism and Nihilism Larry Alan Schiereck / Book Paperback
common.buy 7.73 €
Artificial Intelligence for People in a Hurry BOB MATHER / Book Hardback
common.buy 35.17 €
Pearson REVISE Edexcel GCSE (9-1) Physical Education Model Answer Workbook Jennifer Stafford-Brown / Book Paperback
common.buy 9.94 €
Physical Perspectives on Computation, Computational Perspectives on Physics Michael E. Cuffaro / Book Paperback
common.buy 48.64 €
Angelina; OR, L'amie inconnue Maria Edgeworth / Book Paperback
common.buy 8.73 €
Learn Chess From The Masters Fred Reinfeld / Book Hardback
common.buy 39.09 €
Top
Avatar: The Last Airbender Chibis Volume 1--aang's Unfreezing Day Tim Hedrick / Book Hardback
common.buy 7.13 €
Survey Research R. J. Sapsford / Book Hardback
common.buy 124.22 €
Radical Democratic Museum Nora Sternfeld / Book Paperback
common.buy 58.49 €
LANGUAGE IN USE BEGINNER CLASSROOM BOOK Adrian Doff / Book Book
common.buy 21.90 €
The Divided State of American Healthcare Mark E Rushefsky / Book Hardback
common.buy 249.56 €
Christianity and the University Experience Mathew Guest / Book Paperback
common.buy 47.23 €
Dynamic System Reconfiguration in Heterogeneous Platforms Nikolaos Voros / Book Hardback
common.buy 179.61 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?