Logic for Concurrency and Synchronisation / Trends in Logic Bd.18 (PDF)
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...
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
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.
- 2006, 2003, 285 Seiten, Englisch
- Herausgegeben: R. J. De Queiroz
- Verlag: Springer Netherlands
- ISBN-10: 0306480883
- ISBN-13: 9780306480881
- Erscheinungsdatum: 11.04.2006
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Grösse: 13 MB
- Mit Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Logic for Concurrency and Synchronisation / Trends in Logic Bd.18".
Kommentar verfassen