Reactive Kripke Semantics

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

Autor: Dov M. Gabbay

Jazyk:

Vazba: Pevná

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

Dostupnost: Skladem u dodavatele

Odesíláme za 10-13 dnů

2 286 Kč

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

Informace o knize

Autor

Dov M. Gabbay

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

2013

Stránek

442

EAN

9783642413889

ISBN

3642413889

Enbook ID

02127093

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

810

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Reactive Kripke Semantics

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také