Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Formal Models of Communicating Systems

Languages, Automata, and Monadic Second-Order Logic

Authors: Bollig, Benedikt

Free Preview

Buy this book

eBook $79.99
price for USA in USD
  • ISBN 978-3-540-32923-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $99.99
price for USA in USD
  • ISBN 978-3-540-32922-0
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Softcover $109.00
price for USA in USD
  • ISBN 978-3-642-06947-5
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Reviews

From the reviews:

"The book deals with one essential problem of communication systems, namely formal description of protocols and systems and verification of correctness of their operation. … The book, due to clear definitions, well proved theorems and a number of illustrative examples, can be advised as a valuable source of knowledge for graduate mathematics and computer science students." (Jozef Wozniak, Zentralblatt MATH, Vol. 1107 (9), 2007)


Table of contents (9 chapters)

Table of contents (9 chapters)

Buy this book

eBook $79.99
price for USA in USD
  • ISBN 978-3-540-32923-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $99.99
price for USA in USD
  • ISBN 978-3-540-32922-0
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Softcover $109.00
price for USA in USD
  • ISBN 978-3-642-06947-5
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Models of Communicating Systems
Book Subtitle
Languages, Automata, and Monadic Second-Order Logic
Authors
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-32923-7
DOI
10.1007/3-540-32923-4
Hardcover ISBN
978-3-540-32922-0
Softcover ISBN
978-3-642-06947-5
Edition Number
1
Number of Pages
IX, 181
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.