Formal Models of Communicating Systems

Idioma: inglés

Editorial: Springer Berlin Heidelberg Jul 2006, 2006

3540329226 / 9783540329220

Serie: Libro 25 de 45 - Texts in Theoretical Computer Science. An EATCS

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

Vendedor de 5 estrellas

Vendedor de AbeBooks desde el 11 de enero de 2012

Tapa dura

Condición: Nuevo

EUR 53,49

Envío por EUR 23,00 
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

This item is printed on demand - it takes 3-4 days longer - Neuware -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. 192 pp. Englisch.

N° de ref. del artículo 9783540329220

Título
Formal Models of Communicating Systems
Autor
Benedikt Bollig
Editorial
Springer Berlin Heidelberg Jul 2006
Año de publicación
2006
Estado
Neu
Encuadernación
Buch
Idioma
inglés
ISBN 10
3540329226
ISBN 13
9783540329220
Peso del artículo
459 gramos
Dimensiones
241x160x17 mm
Serie
Libro 25 de 45: Texts in Theoretical Computer Science. An EATCS

BuchWeltWeit Ludwig Meier e.K.

Bergisch Gladbach, Alemania

Vendedor de 5 estrellas

Vendedor de AbeBooks desde el 11 de enero de 2012

Tarifas de envío de Alemania a Estados Unidos de America

ArtículoDe 5 a 15 días hábilesDe 5 a 15 días hábiles
Primer artículoEUR 23,00EUR 23,00
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Cheque
  • Giro bancario
  • PayPal

Información empresarial del vendedor

BuchWeltWeit Ludwig Meier e.K.

Alemania