Wyniki wyszukiwania
liczba wyników: 19
-
Certifiable Software Applications 3: Downward Cycle
Jean-Louis Boulanger
Elsevier Science, 2018 ISBN: 9780081011638Opis:Certifiable Software Applications 3: Downward Cycle describes the descending phase of the creation of a software application, detailing specification...
Czytaj dalejPLN cena katalogowa brutto -
CENELEC 50128 and IEC 62279 Standards
Jean-Louis Boulanger
Wiley, 2015 ISBN: 9781119122487Opis:CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 standard...
Czytaj dalejPLN cena katalogowa brutto -
Formal Methods: Industrial Use from Model to the Code
Jean-Louis Boulanger
Wiley, 2013 ISBN: 9781118614372Opis:Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques...
Czytaj dalejPLN cena katalogowa brutto -
CENELEC 50128 and IEC 62279 Standards
Jean-Louis Boulanger
Wiley, 2015 ISBN: 9781119122494Opis:CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 standard...
Czytaj dalejPLN cena katalogowa brutto -
Formal Methods Applied to Complex Systems: Implementation of the B Method
Jean-Louis Boulanger
Wiley, 2014 ISBN: 9781119002680Opis: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...
Czytaj dalejPLN cena katalogowa brutto -
Industrial Use of Formal Methods: Formal Verification
Jean-Louis Boulanger
Wiley, 2012 ISBN: 9781118587904Opis: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...
Czytaj dalejPLN cena katalogowa brutto -
Static Analysis of Software: The Abstract Interpretation
Jean-Louis Boulanger
Wiley, 2013 ISBN: 9781118602843Opis:The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This...
Czytaj dalejPLN cena katalogowa brutto -
Formal Methods: Industrial Use from Model to the Code
Jean-Louis Boulanger
Wiley, 2013 ISBN: 9781118614389Opis:Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques...
Czytaj dalejPLN cena katalogowa brutto -
Safety of Computer Architectures
Jean-Louis Boulanger
Wiley, 2013 ISBN: 9781118600610Opis:It is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and...
Czytaj dalejPLN cena katalogowa brutto -
Formal Methods Applied to Industrial Complex Systems
Jean-Louis Boulanger
Wiley, 2014 ISBN: 9781119004844Opis:A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such...
Czytaj dalejPLN cena katalogowa brutto
- Dostęp bezpłatny
- Dostęp testowy
- Open Access
- Subskrybcja
- Z limitem czasowym
- Kupione na właśność