Reactive Kripke Semantics

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

Autor: Dov M. Gabbay

Jazyk:

Väzba: Pevná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnosť: Skladom u dodávateľa

Odosielame za 10-13 dní

100.00 €

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

Informácie o knihe

Autor

Dov M. Gabbay

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2013

Stránok

442

EAN

9783642413889

ISBN

3642413889

Enbook ID

02127093

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

810

Rozmery

171 x 241 x 28

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Reactive Kripke Semantics

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež