Reactive Kripke Semantics

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

Autor: Dov M. Gabbay

Język:

Oprawa: Twarda

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

Dostępność: Dostępna u dostawcy

Wysyłamy za 10-13 dni

423.49 zł

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

Informacje o książce

Autor

Dov M. Gabbay

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

2013

strony

442

EAN

9783642413889

ISBN

3642413889

Enbook ID

02127093

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

810

Wymiary

171 x 241 x 28

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Reactive Kripke Semantics

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również