Vi bøger
Levering: 1 - 2 hverdage

Logic for Concurrency and Synchronisation - Bog

Bag om Logic for Concurrency and Synchronisation

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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9789401740005
  • Indbinding:
  • Paperback
  • Sideantal:
  • 285
  • Udgivet:
  • 21. April 2013
  • Udgave:
  • 12003
  • Størrelse:
  • 234x156x16 mm.
  • Vægt:
  • 474 g.
  • 8-11 hverdage.
  • 19. Oktober 2024

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Logic for Concurrency and Synchronisation

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.

Brugerbedømmelser af Logic for Concurrency and Synchronisation



Find lignende bøger
Bogen Logic for Concurrency and Synchronisation findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.