Recomienda este artículo a tus amigos:
Logic for Concurrency and Synchronisation - Trends in Logic R J De Queiroz Softcover reprint of the original 1st ed. 2003 edition
Logic for Concurrency and Synchronisation - Trends in Logic
R J De Queiroz
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.
308 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 3 de octubre de 2013 |
| ISBN13 | 9789401740005 |
| Editores | Springer |
| Páginas | 285 |
| Dimensiones | 155 × 235 × 16 mm · 435 g |
| Editor | De Queiroz, R.J. |