Logic for Concurrency and Synchronisation: 18 (Trends in Logic) - Tapa dura

Libro 2 de 46: Trends in Logic
 
9781402012709: Logic for Concurrency and Synchronisation: 18 (Trends in Logic)
Tapa dura
ISBN 10: 1402012705 ISBN 13: 9781402012709
Editorial: Springer, 2003

Sinopsis

This book is for researchers in computer science, mathematical logic, and philosophical logic. It shows the state of the art in current investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. The combination of approaches and pointers for further integration also suggests a grander vision for the field.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

This book is for researchers in computer science, mathematical logic, and philosophical logic. It shows the state of the art in current investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. The combination of approaches and pointers for further integration also suggests a grander vision for the field.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2003
Idioma
Inglés
ISBN 10 
1402012705
ISBN 13 
9781402012709
Encuadernación
Tapa dura
Número de páginas
310
Editor
De Queiroz R.J.
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9789401740005: Logic for Concurrency and Synchronisation: 18 (Trends in Logic)

Edición Destacada

ISBN 10:  9401740003 ISBN 13:  9789401740005
Editorial: Springer, 2013
Tapa blanda