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

  • Safety of Computer Architecturesby Jean-Louis Boulanger

    Wiley 2013; US$ 130.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...

  • Industrial Use of Formal Methodsby Jean-Louis Boulanger

    Wiley 2013; US$ 149.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$ 173.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 this... more...

  • Formal Methodsby Jean-Louis Boulanger

    Wiley 2013; US$ 149.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$ 95.00

    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)... 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... more...

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

    Dunod 2014; US$ 44.99

    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