Gå direkt till innehållet
Logic for Concurrency and Synchronisation
Spara

Logic for Concurrency and Synchronisation

Lägsta pris på PriceRunner
The individual chapters of this book show the state of the art in current - vestigations of process calculi such as linear logic, and – with mainly two major paradigms at work, namely, linear logic and modal logic.
Upplaga
Softcover reprint of the original 1st ed. 2003
ISBN
9789401740005
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2013-10-03
Förlag
Springer
Sidor
285