formal information
1Formal 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 руб электронная книга2Formal 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 руб электронная книга3Formal 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 руб электронная книга4Information Design Workbook: Graphic Approaches, Solutions, and Inspiration , Kim Baer (2010)
New in paperback, this workbook is a methodical yet comprehensive approach to conveying the fundamentals of avant-garde, innovative, information design by examining history, theory, criticism… 1493 руб5Information Design Workbook: Graphic Approaches, Solutions, and Inspiration , Kim Baer (2010)
New in paperback, this workbook is a methodical yet comprehensive approach to conveying the fundamentals of avant-garde, innovative, information design by examining history, theory, criticism… 1931 грн (только Украина)6Industrial 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 руб электронная книга7Logic 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 руб электронная книга8The Image-Interface. Graphical Supports for Visual Information , Everardo Reyes-Garcia
Digital practices are shaped by graphical representations that appear on the computer screen, which is the principal surface for designing, visualizing, and interacting with digital information… 9265.99 руб электронная книга9Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery , Gerhard Weikum, Gottfried Vossen (2001)
Transactional Information Systems is the long-awaited, comprehensive work from leading scientists in the transaction processing field. Weikum and Vossen begin with a broad look at the role of… 4795 руб10Digital Forensics , André Årnes
The definitive text for students of digital forensics, as well as professionals looking to deepen their understanding of an increasingly critical field Written by faculty members and associates of… 6177.33 руб электронная книга