Logic for Concurrency and Synchronisation: 18 (Trends in Logic) - Hardcover

 
9781402012709: Logic for Concurrency and Synchronisation: 18 (Trends in Logic)
Hardcover
ISBN 10: 1402012705 ISBN 13: 9781402012709
Verlag: Springer, 2003

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2003
Sprache
Englisch
ISBN 10 
1402012705
ISBN 13 
9781402012709
Einband
Tapa dura
Anzahl der Seiten
310
Herausgeber
De Queiroz R.J.
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9789401740005: Logic for Concurrency and Synchronisation: 18 (Trends in Logic)

Vorgestellte Ausgabe

ISBN 10:  9401740003 ISBN 13:  9789401740005
Verlag: Springer, 2013
Softcover