Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic by Benedikt Bollig 9783642069475

Name: Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic by Benedikt Bollig 9783642069475
SKU: 9783642069475
Price: 70.32 GBP
Availability: InStock

No reviews yet Write a Review

Booksplease Price: £70.32

  Bookmarks: Included free with every order
  Delivery: We ship to over 200 countries from the UK
  Range: Millions of books available
  Reviews: Booksplease rated "Excellent" on Trustpilot

FREE UK DELIVERY: When You Buy 3 or More Books - Use code: FREEUKDELIVERY in your cart!

SKU:: 9783642069475
UPC:
MPN:: 9783642069475

Available from Booksplease!

Global delivery available

Availability: Usually dispatched within 4 working days

Ask Questions

Frequently Bought Together:

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic by Benedikt Bollig 9783642069475

Booksplease Price: £70.32

Total: Inc. VAT

Total: Ex. VAT

Description
Reviews

Description

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.

Book Information
ISBN 9783642069475
Author Benedikt Bollig
Format Paperback
Page Count 181
Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight(grams) 302g

Reviews

No reviews yet Write a Review

Related Titles

A Second Course in Formal Languages and Automata Theory by Jeffrey Shallit 9780521865722

RRP: £60.00

Booksplease Price: £54.72

Written for graduate students and advanced undergraduates in computer science, A Second Course in Formal Languages and Automata Theory treats topics in the theory of computation not usually covered...

Add to Cart

Automata Theory and Formal Languages by Pallavi Vijay Chavan

RRP: £131.00

Booksplease Price: £118.47

Automata Theory and Formal Languages presents the difficult concepts of automata theory in a straightforward manner, including discussions on diverse concepts and tools that play major roles in...

Add to Cart

Automata Theory and Formal Languages by Wladyslaw Homenda 9783110752274

RRP: £56.50

Booksplease Price: £50.26

The book is a concise, self-contained and fully updated introduction to automata theory - a fundamental topic of computer sciences and engineering. The material is presented in a rigorous yet...

Add to Cart

Automata, Formal Languages And Algebraic Systems - Proceedings Of Aflas 2008 by Masami Ito 9789814317603

RRP: £87.00

Booksplease Price: £76.31

This volume consists of papers selected from the presentations at the workshop and includes mainly recent developments in the fields of formal languages, automata theory and algebraic systems related...

Add to Cart

Finite Automata, Formal Logic, and Circuit Complexity by Howard Straubing 9780817637194

RRP: £89.99

Booksplease Price: £89.84

The study of the connections between mathematical automata and for mal logic is as old as theoretical computer science itself. In the founding paper of the subject, published in 1936, Turing showed...

Add to Cart

Booksplease Reviews

Fast and efficient way to choose and receive books

This is my second experience using Booksplease. Both orders dealt with very quickly and despatched. Now waiting for my next read to drop through the letterbox.

J - United Kingdom

Will definitely use again!

Great experience and I have zero concerns. They communicated through the shipping process and if there was any hiccups in it, they let me know. Books arrived in perfect condition as well as being fairly priced. 10/10 recommend. I will definitely shop here again!

T - United States

The shipping was just superior

The shipping was just superior; not even one of the books was in contact with the shipping box -anywhere-, not even a corner or the bottom, so all the books arrived in perfect condition. The international shipping took around 2 weeks, so pretty great too.

R - Spain

Found a hard to get book…

Finding a hard to get book on Booksplease and with it not being an over inflated price was great. Ordering was really easy with updates on despatch. The book was packaged well and in great condition. I will certainly use them again.

J - United Kingdom

Recently Viewed

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic by Benedikt Bollig 9783642069475

Frequently Bought Together:

Description

Goodreads reviews

Reviews