Este sitio web utiliza cookies para mejorar la experiencia del usuario y asegurar su funcionamiento con eficacia.
Al utilizarlo usted acepta el uso de cookies.
Carrito de compra
Su pedido cuenta con 0 productos
eBook
Logic For Concurrency And Synchronisation - ENG
$1,980.00
| ISBN: | 9780306480881 |
|---|---|
| Formato: | Page Fidelity |
| Idioma: | Inglés |
| Editorial: | Springer Nature |
| Tema: | Matemáticas |
| Subtema: | Lógica |
| Año de publicación: | 2006-04-11 |
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.
eBooks
Libros electrónicos
eBook
eBook
eBook
eBook
eBook
eBook
eBook
eBook
eBook
eBook