Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-order Logic - Texts in Theoretical Computer Science: an Eatcs Series - Benedikt Bollig - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540329220 - 24 de julio de 2006
En caso de que portada y título no coincidan, el título será el correcto

Benedikt Bollig
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-order Logic - Texts in Theoretical Computer Science: an Eatcs Series

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 9 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. This book provides a unifying theory of communicating automata and their logical properties.

181 pages, 6 black & white tables, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 24 de julio de 2006
ISBN13 9783540329220
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 181
Dimensiones 155 × 235 × 15 mm   ·   408 g
Lengua Alemán  

Mere med samme udgiver

Ver todo de Benedikt Bollig ( Ej. Hardcover Book y Paperback Book )