Formal Models of Communicating Systems

Languages, Automata, and Monadic Second-Order Logic

Authors: Bollig, Benedikt

Buy this book

eBook $79.99
price for USA
  • ISBN 978-3-540-32923-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Download immediately after purchase
Hardcover $109.00
price for USA
  • ISBN 978-3-540-32922-0
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
Softcover $109.00
price for USA
  • ISBN 978-3-642-06947-5
  • Free shipping for individuals worldwide
  • 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 (2 chapters)

Buy this book

eBook $79.99
price for USA
  • ISBN 978-3-540-32923-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Download immediately after purchase
Hardcover $109.00
price for USA
  • ISBN 978-3-540-32922-0
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
Softcover $109.00
price for USA
  • ISBN 978-3-642-06947-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Services for this book

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