Programming Languages: Implementations, Logics, and Programs, Herbert Kuchen; S.Doaitse Swierstra
Автор: Evan Tick; Giancarlo Succi Название: Implementations of Logic Programming Systems ISBN: 0792394577 ISBN-13(EAN): 9780792394570 Издательство: Springer Рейтинг: Цена: 20956.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Offers a collection of research papers in the area of the implementation of logic programming systems. This book is intended for those who seek an understanding of how to efficiently manage memory, generate fast code, perform static analyses, and design high-performance runtime features.
Автор: 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.
Автор: 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.
Автор: 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).
Автор: 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.
Автор: 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.
Автор: 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.
Описание: This book constitutes the proceedings of the SecondOpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015. The 12 technical papers and one short position paperspresented in this book were carefully reviewed and selected from 17submissions.
Описание: This book constitutes the proceedings of the First OpenSHMEM Workshop, held in Annapolis, MD, USA, in March 2014. The 12 technical papers and 2 short position papers presented in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections named: OpenSHMEM implementations and evaluations;
Автор: E. Clarke; D. Kozen Название: Logics of Programs ISBN: 3540128964 ISBN-13(EAN): 9783540128960 Издательство: Springer Рейтинг: Цена: 6567.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Josep M. Font; Ramon Jansana Название: A General Algebraic Semantics for Sentential Logics ISBN: 3540616993 ISBN-13(EAN): 9783540616993 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The purpose of this monograph is to develop a very general approach to the algebra- ization of sententiallogics, to show its results on a number of particular logics, and to relate it to other existing approaches, namely to those based on logical matrices and the equational consequence developed by Blok, Czelakowski, Pigozzi and others.
Автор: Leonard Bolc; Piotr Borowik Название: Many-Valued Logics 2 ISBN: 3642084176 ISBN-13(EAN): 9783642084171 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Many-valued logics are becoming increasingly important in all areas of computer science. While the first volume was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and the latest developments in fuzzy logic and rough set theory.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
