very formal
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 руб электронная книга2Industrial 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 руб электронная книга3Connecting with China. Business Success through Mutual Benefit and Respect , Joan Turley
If you are prepared to connect with China, it will make all the difference. Joan Turley provides all the signposts and insights to help those working with China understand the value of relationships… 2731.66 руб электронная книга4Hockney's Portraits and People , Livingstone Marco (2016)
Explores different formal ways of representing the passage of time and at the same time the unavoidable but marvellous stillness of portraits. David Hockney's continuing belief in the importance of… 1980 руб5The Group 13 Metals Aluminium, Gallium, Indium and Thallium. Chemical Patterns and Peculiarities , Downs Anthony J.
The last two decades have seen a renaissance in interest in the chemistry of the main group elements. In particular research on the metals of group 13 (aluminium, gallium, indium and thallium) has… 22477.65 руб электронная книга6Static Analysis of Software. The Abstract Interpretation , Jean-Louis Boulanger
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal… 13970.48 руб электронная книга7Insight into Fuzzy Modeling , Antonin Dvorak
Provides a unique and methodologically consistent treatment of various areas of fuzzy modeling and includes the results of mathematical fuzzy logic and linguistics This book is the result of almost… 9265.99 руб электронная книга8Hello Jojo: Teacher's Book , Naomi Simmons (2013)
Hello Jojo is the Starter Level of You and Me, a course for children earning English in kindergarten. It is a fresh, fun and dynamic introduction о English for kindergarten children, using a range… 2708 руб9Hockney`s Portraits and People , Livingstone Marco (2016)
David Hockney`s continuing belief in the importance of the portrait and his virtuoso skill in creating a sense of close communication between artist, sitter and viewer has resulted in some of the… 2561 грн (только Украина)10Information 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 руб
