jean louis boulanger

Grid   List

  1. Ingénierie des exigences
    Ingénierie des exigences
    Stéphane Badreau
    Dunod
    Ebook
    Sofort lieferbar
    Ce livre s'adresse à toutes les personnes concernées par l'ingénierie des exigences qu'elles soient managers, responsables d'équipes, chefs de projet, analystes, architectes, développeurs ou testeu...
    37,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Safety of Computer Architectures
    Safety of Computer Architectures
    Jean-Louis Boulanger
    John Wiley & Sons
    Ebook
    Sofort lieferbar
    It is currently quite easy for students or designers engineers tofind very general books on the various aspects of safety,reliability and dependability of computer system architectures, andpartial ...
    139,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Safety of Computer Architectures
    Safety of Computer Architectures
    Jean-Louis Boulanger
    John Wiley & Sons
    Ebook
    Sofort lieferbar
    It is currently quite easy for students or designers engineers tofind very general books on the various aspects of safety,reliability and dependability of computer system architectures, andpartial ...
    139,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Industrial Use of Formal Methods
    Industrial Use of Formal Methods
    Jean-Louis Boulanger
    Jossey-Bass
    Ebook
    Sofort lieferbar
    At present the literature gives students and researchers of thevery general books on the formal technics. The purpose of this bookis to present in a single book, a return of experience on the usedo...
    140,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Static Analysis of Software
    Static Analysis of Software
    Jean-Louis Boulanger
    John Wiley & Sons
    Ebook
    Sofort lieferbar
    The existing literature currently available to students andresearchers is very general, covering only the formal techniques ofstatic analysis.This book presents real examples of the formal techniqu...
    157,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Static Analysis of Software
    Static Analysis of Software
    Jean-Louis Boulanger
    Wiley
    Ebook
    Sofort lieferbar
    The existing literature currently available to students andresearchers is very general, covering only the formal techniques ofstatic analysis.This book presents real examples of the formal techniqu...
    157,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Certifiable Software Applications 1
    Certifiable Software Applications 1
    Jean-Louis Boulanger
    Elsevier Science & Techn.
    Ebook
    Sofort lieferbar
    Certifiable Software Applications 1: Main Processes is dedicated to the establishment of quality assurance and safety assurance. It establishes the context for achieving a certifiable software appl...
    92,95 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Formal Methods Applied to Industrial Complex Systems
    Formal Methods Applied to Industrial Complex Systems
    Jean-Louis Boulanger
    John Wiley & Sons
    Ebook
    Sofort lieferbar
    A presentation of real examples of industrial uses for formalmethods such as SCADE, the B-Method, ControlBuild, Matelo, etc. invarious fields, such as railways, aeronautics, and the automotiveindus...
    168,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Formal Methods Applied to Complex Systems
    Formal Methods Applied to Complex Systems
    Jean-Louis Boulanger
    Wiley
    Ebook
    Sofort lieferbar
    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, an...
    177,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. Formal Methods
    Formal Methods
    Jean-Louis Boulanger
    Wiley
    Ebook
    Sofort lieferbar
    Although formal analysis programming techniques may be quiteold, the introduction of formal methods only dates from the 1980s.These techniques enable us to analyze the behavior of a softwareapplica...
    140,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  11. Safety Management for Software-based Equipment
    Safety Management for Software-based Equipment
    Jean-Louis Boulanger
    John Wiley & Sons
    Ebook
    Sofort lieferbar
    A review of the principles of the safety of software-basedequipment, this book begins by presenting the definition principlesof safety objectives. It then moves on to show how it is possibleto defi...
    139,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  12. CENELEC 50128 and IEC 62279 Standards
    CENELEC 50128 and IEC 62279 Standards
    Jean-Louis Boulanger
    John Wiley & Sons
    Ebook
    Sofort lieferbar
    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 firms up the techniques and methods to be implem...
    139,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
  3. 3
<%--for search--%>