Logic for Concurrency and Synchronisation - Trends in Logic - Ruy J G B De Queiroz - Libros - Kluwer Academic Publishers - 9781402012709 - 31 de mayo de 2003
En caso de que portada y título no coincidan, el título será el correcto

Ruy J G B De Queiroz
Logic for Concurrency and Synchronisation - Trends in Logic

Precio
Mex$ 2.144
sin IVA

Pedido desde almacén remoto

Entrega prevista 22 de jul. - 7 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Ruy J G B De Queiroz

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

Aún no valorado

The study of information-based actions and processes has been a vibrant interface between logic and computer science for decades. This book shows the investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. It offers glimpses of integration with obvious links including modal logics for proof graphs.

285 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 31 de mayo de 2003
ISBN13 9781402012709
Editores Kluwer Academic Publishers
Páginas 285
Dimensiones 156 × 234 × 19 mm   ·   621 g
Editor De Queiroz, R. J.

Más del mismo editor

Ver todo de Ruy J G B De Queiroz ( Ej. Hardcover Book )