Reactive Kripke Semantics

Name: Reactive Kripke Semantics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642413889
Price: 38497 HUF
Availability: InStock

Szerző: Dov M. Gabbay

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Elérhetőség: Beszállítói készleten

Küldés 10-13 napon belül

38 497 Ft

This book opens with a lucid explanation of the theory of reactive Kripke semantics, followed by cha...

Információk a könyvről

Szerző

Dov M. Gabbay

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2013

oldal

442

EAN

9783642413889

ISBN

3642413889

Enbook ID

02127093

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

810

Méretek

171 x 241 x 28

Teljes leírás

This book opens with a lucid explanation of the theory of reactive Kripke semantics, followed by chapters demonstrating applications in a variety of areas. The book benefits both researchers and graduate students working in the field of mathematical logic.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Reactive Kripke Semantics

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták