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...
48 DeutschlandCard Punkte
sammeln
- Lastschrift, 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öße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 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