The Leading eBooks Store Online

for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...

New to eBooks.com?

Learn more
Browse our categories
  • Bestsellers - This Week
  • Foreign Language Study
  • Pets
  • Bestsellers - Last 6 months
  • Games
  • Philosophy
  • Archaeology
  • Gardening
  • Photography
  • Architecture
  • Graphic Books
  • Poetry
  • Art
  • Health & Fitness
  • Political Science
  • Biography & Autobiography
  • History
  • Psychology & Psychiatry
  • Body Mind & Spirit
  • House & Home
  • Reference
  • Business & Economics
  • Humor
  • Religion
  • Children's & Young Adult Fiction
  • Juvenile Nonfiction
  • Romance
  • Computers
  • Language Arts & Disciplines
  • Science
  • Crafts & Hobbies
  • Law
  • Science Fiction
  • Current Events
  • Literary Collections
  • Self-Help
  • Drama
  • Literary Criticism
  • Sex
  • Education
  • Literary Fiction
  • Social Science
  • The Environment
  • Mathematics
  • Sports & Recreation
  • Family & Relationships
  • Media
  • Study Aids
  • Fantasy
  • Medical
  • Technology
  • Fiction
  • Music
  • Transportation
  • Folklore & Mythology
  • Nature
  • Travel
  • Food and Wine
  • Performing Arts
  • True Crime
  • Foreign Language Books
Jean-Louis Boulanger

Most popular at the top

  • Industrial Use of Formal Methodsby Jean-Louis Boulanger

    Wiley 2013; US$ 154.95

    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 of the “formal technics” (such proof and model-checking) on industrial examples for the transportation domain. This book is based on the... more...

  • Static Analysis of Softwareby Jean-Louis Boulanger

    Wiley 2013; US$ 179.00

    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 techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of... more...

  • Formal Methodsby Jean-Louis Boulanger

    Wiley 2013; US$ 154.95

    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 application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in industrial... more...

  • Safety Management of Software-based Equipmentby Jean-Louis Boulanger

    Wiley 2013; US$ 97.95

    A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives. It then moves on to show how it is possible to define a safety architecture (including redundancy, diversification, error-detection techniques) on the basis of safety objectives and how to identify objectives... more...

  • Formal Methods Applied to Industrial Complex Systemsby Jean-Louis Boulanger

    Wiley 2014; US$ 185.00

    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 industry, the purpose of this book is to present a summary of experience on the use of these ?formal methods? (such as proof and model-checking) in industrial... more...

  • Formal Methods Applied to Industrial Complex Systemsby Jean-Louis Boulanger

    Wiley 2014; US$ 195.00

    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 the automotive industry. The purpose of this book is to present a summary of experience on the use of ?formal methods? (based on formal techniques such... more...

  • CENELEC 50128 and IEC 62279 Standardsby Jean-Louis Boulanger

    Wiley 2015; US$ 135.00

    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 implemented. This is a guide to its implementation, in order to understand the foundations of the standard and how it impacts on the activities to be undertaken,... more...

  • Safety of Computer Architecturesby Jean-Louis Boulanger

    Wiley 2013; US$ 134.00

    It is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and dependability of computer system architectures, and partial treatments of the elements that comprise an effective system architecture. It is not so easy to find a single source reference for all these aspects of... more...

  • Ingénierie des exigencesby Stéphane Badreau; Jean-Louis Boulanger

    Dunod 2014; Not Available

    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 testeurs. L?ingénierie des exigences est une discipline qui consiste à développer un référentiel d?exigences, mais aussi à le maintenir à jour en présence... more...

  • 1
  • Page