Logic for Concurrency and Synchronisation

Name: Logic for Concurrency and Synchronisation
Brand: Springer
SKU: 9789401740005
Price: 425.21 PLN
Availability: InStock

Autor: R.J. De Queiroz

Język:

Oprawa: Miękka

Wydawca: Springer

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

425.21 zł

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

Informacje o książce

Autor

R.J. De Queiroz

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2013

strony

285

EAN

9789401740005

ISBN

9401740003

Enbook ID

02178381

Wydawca

Springer

Waga

474

Wymiary

155 x 235 x 17

Pełny opis

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

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Logic for Concurrency and Synchronisation

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również