Larch: Languages and Tools for Formal Specification, S.J. Garland; John V. Guttag; K.D. Jones; James J.
Автор: 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.
Автор: Michel Rigo Название: Formal Languages, Automata and Numeration Systems ISBN: 1848216157 ISBN-13(EAN): 9781848216150 Издательство: Wiley Рейтинг: Цена: 22010.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Formal Languages, Automaton and Numeration Systems presents readers with a review of research related to formal language theory, combinatorics on words or numeration systems, such as Words, DLT (Developments in Language Theory), ICALP, MFCS (Mathematical Foundation of Computer Science), Mons Theoretical Computer Science Days, Numeration, CANT (Combinatorics, Automata and Number Theory).
Combinatorics on words deals with problems that can be stated in a non-commutative monoid, such as subword complexity of finite or infinite words, construction and properties of infinite words, unavoidable regularities or patterns. When considering some numeration systems, any integer can be represented as a finite word over an alphabet of digits. This simple observation leads to the study of the relationship between the arithmetical properties of the integers and the syntactical properties of the corresponding representations. One of the most profound results in this direction is given by the celebrated theorem by Cobham. Surprisingly, a recent extension of this result to complex numbers led to the famous Four Exponentials Conjecture. This is just one example of the fruitful relationship between formal language theory (including the theory of automata) and number theory.
Автор: Didier Galmiche; Dominique Larchey-Wendling Название: Automated Reasoning with Analytic Tableaux and Related Methods ISBN: 3642405363 ISBN-13(EAN): 9783642405365 Издательство: Springer Рейтинг: Цена: 6429.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Invited Talks.- Witness Runs for Counter Machines (Abstract).- On the Duality of Proofs and Countermodels in Labelled Sequent Calculi.- A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions.- Research Papers.- Dealing with Symmetries in Modal Tableaux.- Tableaux for Verification of Data-Centric Processes.- Bounded Proofs and Step Frames.- Compression of Propositional Resolution Proofs by Lowering Subproofs.- A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation.- Hypersequent and Labelled Calculi for Intermediate Logics.- TATL: Implementation of ATL Tableau-Based Decision Procedure.- A Terminating Evaluation-Driven Variant of G3i.- Model Checking General Linear Temporal Logic.- Semantically Guided Evolution of SHI ABoxes.- Psyche: A Proof-Search Engine Based on Sequent Calculus with an LCF-Style Architecture.- Understanding Resolution Proofs through Herbrand's Theorem.- A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search.- A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI.- Prefixed Tableau Systems for Logic of Proofs and Provability.- Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5.- Schemata of Formul in the Theory of Arrays.- TAFA - A Tool for Admissibility in Finite Algebras.- Formalizing Cut Elimination of Coalgebraic Logics in Coq.- Intelligent Tableau Algorithm for DL Reasoning.
Автор: Orna Grumberg; Michael Kaminski; Shmuel Katz; Shul Название: Languages: From Formal to Natural ISBN: 3642017479 ISBN-13(EAN): 9783642017476 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Celebrating 65th birthday of Nissim Francez, this title contains 15 papers, written by friends and colleagues, many of whom congregated at a celebratory symposium held on May 24-25, 2009, in Haifa, Israel.
Автор: Stefano Crespi Reghizzi; Luca Breveglieri; Angelo Название: Formal Languages and Compilation ISBN: 1447168682 ISBN-13(EAN): 9781447168683 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This revised and expanded new edition includes supplementary web-based teaching resources and a new conceptual approach to parsing algorithms that applies to extended Backus-Naur Form grammars. It delivers inclusive, practicable coverage of the field.
Автор: Grzegorz Rozenberg; Arto Salomaa Название: Handbook of Formal Languages ISBN: 3642082300 ISBN-13(EAN): 9783642082306 Издательство: Springer Рейтинг: Цена: 29209.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years.
Автор: Stefano Crespi Reghizzi Название: Formal Languages and Compilation ISBN: 1849968179 ISBN-13(EAN): 9781849968171 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This comprehensive book covers the fundamental concepts of formal languages and compilation. It presents the subject in a minimalist way, using illustrated examples throughout and providing pedagogical tools, such as slides for lecturers via website.
Автор: Grzegorz Rozenberg; Arto Salomaa Название: Handbook of Formal Languages ISBN: 3642638597 ISBN-13(EAN): 9783642638596 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years. the book Formal Languages by the second- mentioned editor appeared, it was still quite feasible to write a comprehensive book with that title and include also topics of current research interest.
Автор: Grzegorz Rozenberg; Arto Salomaa Название: Handbook of Formal Languages ISBN: 3642638635 ISBN-13(EAN): 9783642638633 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This uniquely authoritative and comprehensive handbook is the first to cover the vast field of formal languages, as well as its traditional and most recent applications to such diverse areas as linguistics, developmental biology, computer graphics, cryptology, molecular genetics, and programming languages.
Автор: Davies Название: Specification and Proof in Real Time CSP ISBN: 0521450551 ISBN-13(EAN): 9780521450553 Издательство: Cambridge Academ Рейтинг: Цена: 17424.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. It is important therefore that we are able to employ mathematical techniques to specify the behaviour of critical safety systems. The research contained in this book represents work on the specification and verification of real-time systems.
Автор: Egidio Astesiano; Hans-J?rg Kreowski; Bernd Krieg- Название: Algebraic Foundations of Systems Specification ISBN: 3642641512 ISBN-13(EAN): 9783642641510 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the need of formal methods with rigorous semantics and the possibility of verification is widely accepted. Algebraic specification is a software engineering approach of this perspective. When Liskov and Zilles, Guttag and the ADJ-group with Goguen, Thatch- er, Wagner and Wright introduced the basic ideas of algebraic specification in the mid seventies in the U. S. A. and Canada, they initiated a very successful and still flourishing new area. In the late seventies, algebraic specification became a major research topic also in many European countries. Originally, the algebraic framework was intended for the mathematical foundation of ab- stract data types and the formal development of first-order applicative pro- grams. Meanwhile, the range of applications has been extended to the precise specification of complete software systems, the uniform definition of syntax and semantics of programming languages, and to the stepwise development of correct systems from the requirement definitions to the running programs. The activities in the last 25 years have led to an abundance of concepts, methods, approaches, theories, languages and tools, which are mathemati- cally founded in universal algebra, category theory and logic.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
