Logics of Programs, E. Clarke; D. Kozen

Автор: Dines Bj?rner; Martin C. Henson
Название: Logics of Specification Languages
ISBN: 3642093450 ISBN-13(EAN): 9783642093456
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents comprehensive studies on nine specification languages and their logics of reasoning. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.

Автор: Otmane Ait Mohamed; C?sar Munoz; Sofi?ne Tahar
Название: Theorem Proving in Higher Order Logics
ISBN: 3540710655 ISBN-13(EAN): 9783540710653
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.

Автор: Luca Aceto; Giorgio Bacci; Giovanni Bacci; Anna In
Название: Models, Algorithms, Logics and Tools
ISBN: 3319631209 ISBN-13(EAN): 9783319631202
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking.

Автор: Richard J. Boulton; Paul B. Jackson
Название: Theorem Proving in Higher Order Logics
ISBN: 354042525X ISBN-13(EAN): 9783540425250
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume constitutes the proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001) held 3-6 September 2001 in Edinburgh, Scotland. TPHOLs 2001 was collocated with the 11th Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods (CHARME 2001).

Автор: Mark Aagaard; John Harrison
Название: Theorem Proving in Higher Order Logics
ISBN: 3540678638 ISBN-13(EAN): 9783540678632
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers cover aspects of HOL theorem proving, formal verification of hardware and software systems, and formal verification. Among the HOL theorem provers evaluated are COQ, HOL, Isabelle, HOL/SPIN, PVS, and Isabelle/HOL.

Автор: Steffen H?lldobler; Carsten Lutz; Heinrich Wansing
Название: Logics in Artificial Intelligence
ISBN: 3540878025 ISBN-13(EAN): 9783540878025
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. This title includes papers that cover topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, and probabilistic logic.

Автор: D. Kozen
Название: Logics of Programs
ISBN: 354011212X ISBN-13(EAN): 9783540112129
Издательство: Springer
Рейтинг:
Цена: 4890.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: With contributions by nummerous experts

Автор: A. Salwicki
Название: Logics of Programs and Their Applications
ISBN: 3540119817 ISBN-13(EAN): 9783540119814
Издательство: Springer
Рейтинг:
Цена: 3213.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Manuel Hermenegildo; S.Doaitse Swierstra
Название: Programming Languages: Implementations, Logics and Programs
ISBN: 354060359X ISBN-13(EAN): 9783540603597
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These conference proceedings report research on declarative programming languages and provide insights into the relation between logic of those languages, implmentation techniques, and the use of these languages in constructing real programs.

Автор: Herbert Kuchen; S.Doaitse Swierstra
Название: Programming Languages: Implementations, Logics, and Programs
ISBN: 3540617566 ISBN-13(EAN): 9783540617563
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These conference proceedings are organized into topical sections on typing and structuring systems, program analysis, program transformation, implementation issues, concurrent and parallel programming, tools and programming environments, lambda-calculus and rewriting, and constraints.

Автор: Hugh Glaser; Peter Hartel; Herbert Kuchen
Название: Programming Languages: Implementations, Logics, and Programs
ISBN: 3540633987 ISBN-13(EAN): 9783540633983
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP `97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education. This volume presents 25 papers selected from 68 submissions.

Название: Logics in Computer Science
ISBN: 9491216945 ISBN-13(EAN): 9789491216947
Издательство: Springer
Рейтинг:
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.