Logic for Concurrency and Synchronisation

Name: Logic for Concurrency and Synchronisation
Brand: Springer
SKU: 9789401740005
Price: 99.69 EUR
Availability: InStock

Autor: R.J. De Queiroz

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

99.69 €

This book is for researchers in computer science, mathematical logic, and philosophical logic. It sh...

Informácie o knihe

Autor

R.J. De Queiroz

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2013

Stránok

285

EAN

9789401740005

ISBN

9401740003

Enbook ID

02178381

Vydavateľ

Springer

Hmotnosť

474

Rozmery

155 x 235 x 17

Kompletný popis

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.§

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Logic for Concurrency and Synchronisation

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež