The Leading eBooks Store Online

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

New to

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

  • Static Analysis of Softwareby Jean-Louis Boulanger

    Wiley 2013; US$ 173.00

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

  • Safety of Computer Architecturesby Jean-Louis Boulanger

    Wiley 2013; US$ 130.00

    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 treatments of the elements that comprise an effectivesystem architecture. It is not so easy to find a single sourcereference for all these aspects of system... more...

  • Industrial Use of Formal Methodsby Jean-Louis Boulanger

    Wiley 2013; US$ 149.95

    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 usedof the “formal technics” (such proof andmodel-checking) on industrial examples for the transportationdomain. This book is based on the experience... more...

  • Formal Methodsby Jean-Louis Boulanger

    Wiley 2013; US$ 149.95

    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 softwareapplication, described in a programming language. It took until theend of the 1990s before formal methods or the B method could beimplemented in industrial applications... 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-basedequipment, this book begins by presenting the definition principlesof safety objectives. It then moves on to show how it is possibleto define a safety architecture (including redundancy,diversification, error-detection techniques) on the basis of safetyobjectives 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 formalmethods such as SCADE, the B-Method, ControlBuild, Matelo, etc. invarious fields, such as railways, aeronautics, and the automotiveindustry, the purpose of this book is to present a summary ofexperience on the use of these “formal methods” (suchas proof and model-checking) in... 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 inan industrial context. It covers formal methods such as SCADEand/or the B Method, in various fields such as railways,aeronautics, and the automotive industry. The purpose of this bookis to present a summary of experience on the use of “formalmethods” (based on formal techniques... more...

  • Safety of Software-based Systemsby Jean-Louis Boulanger

    Wiley 2015; US$ 155.00

    This book presents an analysis of safety standards and their implementation in certification strategies from different domains such as aeronautics, automation, automotive, nuclear, railway and space. 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...

  • SCADEby Jean-Louis Boulanger; Fran?ois-Xavier Fornari; Jean-Louis Camus; Bernard Dion

    Wiley 2015; US$ 100.00

    The SCADE tool has been used from many years for the development of safety critical software in the nuclear, aeronautics and railways sectors. The language supported by this tool is also called SCADE and is based on the formal language LUSTRE. In this book, the authors present the SCADE language (syntax and semantics) along with some examples of use.... more...

  • 1
  • Page