formal
1Formal Languages, Automata and Numeration Systems, Volume 1 , Michel Rigo
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… 11582.49 руб электронная книга2Formal Methods. Industrial Use from Model to the Code , Jean-Louis Boulanger
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software… 12483.68 руб электронная книга3Formal Methods for Industrial Critical Systems. A Survey of Applications , Margaria Tiziana
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all… 7332.55 руб электронная книга4Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method , Jean-Louis Boulanger
This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and… 15516.57 руб электронная книга5Formal Languages, Automata and Numeration Systems, Volume 2 , Michel Rigo
The interplay between words, computability, algebra and arithmetic has now proved its relevance and fruitfulness. Indeed, the cross-fertilization between formal logic and finite automata (such as… 9188.33 руб электронная книга6Formal Methods Applied to Industrial Complex Systems , Jean-Louis Boulanger
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive… 14748.07 руб электронная книга7Formal English grammar as a discipline , Briggs Thomas Henry (2011)
Книга представляет собой репринтное издание. Несмотря на то, что была проведена серьезная работа по… 686 руб8Industrial Use of Formal Methods. Formal Verification , Jean-Louis Boulanger
At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used… 12483.68 руб электронная книга9Logic as a Tool. A Guide to Formal Logical Reasoning , Valentin Goranko
Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them… 4747.28 руб электронная книга10Teamwork in Multi-Agent Systems. A Formal Approach , Verbrugge Rineke
What makes teamwork tick? Cooperation matters, in daily life and in complex applications. After all, many tasks need more than a single agent to be effectively performed. Therefore, teamwork rules… 8819.36 руб электронная книга