Das Buch ist derzeit nicht auf Lager

Reactive Kripke Semantics

Autoren

Dov M. Gabbay

Parameter

Seitenzahl: 456 Seiten
Lesezeit: 16 Stunden

Informatik & Programmierung

Mehr zum Buch

The book begins with a clear overview of reactive Kripke semantics theory, providing a solid foundation for understanding its principles. Subsequent chapters showcase practical applications across various domains, making it a valuable resource for both researchers and graduate students in mathematical logic. Its comprehensive approach bridges theory and practice, catering to those looking to deepen their knowledge in this specialized field.

Publikation

Buchkauf

Reactive Kripke Semantics, Dov M. Gabbay

Sprache
Erscheinungsdatum: 2016
product-detail.submit-box.info.binding: (Paperback)

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Keiner hat bisher bewertet.Abgeben

Titel: Reactive Kripke Semantics
Sprache: Englisch
Autor*innen: Dov M. Gabbay
Verlag: Springer Berlin Heidelberg
Erscheinungsdatum: 2016
Einband: Paperback
Seitenzahl: 456
ISBN13: 9783662514368
Schlagwörter: Informatik & Programmierung
Beschreibung: The book begins with a clear overview of reactive Kripke semantics theory, providing a solid foundation for understanding its principles. Subsequent chapters showcase practical applications across various domains, making it a valuable resource for both researchers and graduate students in mathematical logic. Its comprehensive approach bridges theory and practice, catering to those looking to deepen their knowledge in this specialized field.