Formal Methods Applied to Industrial Complex Systems - 9781848216327
New: A new, unread, unused book in perfect condition with no missing or damaged pages. See the ... Read moreabout the conditionNew: A new, unread, unused book in perfect condition with no missing or damaged pages. See the seller's listing for full details. See all condition definitionsopens in a new window or tab
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 examples of complex systems. It is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.).
Product Details
10 Items
Data sheet
Type
Textbook
Author
Jean-Louis Boulanger
Format
Hardcover
Language
English
Item Height
235mm
Item Width
163mm
Number of Pages
480 Pages
Item Weight
852g
Publisher
Iste LTD AND John Wiley & Sons INC International Concepts
Good condition -A book that has been read, but is in good condition. Minimal damage to the book cover.The majority of pages are undamaged might be with some creasing or tearing, and pencil underlining of text. No writing in the margins, no missing pages.
Good condition -A book that has been read, but is in good condition. Minimal damage to the book cover.The majority of pages are undamaged might be with some creasing or tearing, and pencil underlining of text. No writing in the margins, no missing pages.
Good condition -A book that has been read, but is in good condition. Minimal damage to the book cover.The majority of pages are undamaged might be with some creasing or tearing, and pencil underlining of text. No writing in the margins, no missing pages.
Good condition -A book that has been read, but is in good condition. Minimal damage to the book cover.The majority of pages are undamaged might be with some creasing or tearing, and pencil underlining of text. No writing in the margins, no missing pages.
Very good condition -A book that has been read and does not look new, but is in excellent condition. Don't have obvious damage to the book cover. No missing or damaged pages, no creases or tears, no underlining or highlighting of text, and no writing in the margins.
Good condition -A book that has been read, but is in good condition. Minimal damage to the book cover.The majority of pages are undamaged might be with some creasing or tearing, and pencil underlining of text. No writing in the margins, no missing pages.
Good condition -A book that has been read, but is in good condition. Minimal damage to the book cover.The majority of pages are undamaged might be with some creasing or tearing, and pencil underlining of text. No writing in the margins, no missing pages.
Good condition -A book that has been read, but is in good condition. Minimal damage to the book cover.The majority of pages are undamaged might be with some creasing or tearing, and pencil underlining of text. No writing in the margins, no missing pages.
Good condition -A book that has been read, but is in good condition. Minimal damage to the book cover.The majority of pages are undamaged might be with some creasing or tearing, and pencil underlining of text. No writing in the margins, no missing pages.
Good condition -A book that has been read, but is in good condition. Minimal damage to the book cover.The majority of pages are undamaged might be with some creasing or tearing, and pencil underlining of text. No writing in the margins, no missing pages.
Good condition -A book that has been read, but is in good condition. Minimal damage to the book cover.The majority of pages are undamaged might be with some creasing or tearing, and pencil underlining of text. No writing in the margins, no missing pages.
Good condition -A book that has been read, but is in good condition. Minimal damage to the book cover.The majority of pages are undamaged might be with some creasing or tearing, and pencil underlining of text. No writing in the margins, no missing pages.
Good condition -A book that has been read, but is in good condition. Minimal damage to the book cover.The majority of pages are undamaged might be with some creasing or tearing, and pencil underlining of text. No writing in the margins, no missing pages.
Very good condition -A book that has been read and does not look new, but is in excellent condition. Don't have obvious damage to the book cover. No missing or damaged pages, no creases or tears, no underlining or highlighting of text, and no writing in the margins.
Good condition -A book that has been read, but is in good condition. Minimal damage to the book cover.The majority of pages are undamaged might be with some creasing or tearing, and pencil underlining of text. No writing in the margins, no missing pages.
Good condition -A book that has been read, but is in good condition. Minimal damage to the book cover.The majority of pages are undamaged might be with some creasing or tearing, and pencil underlining of text. No writing in the margins, no missing pages.
€17.97
New: A new, unread, unused book in perfect condition with no missing or damaged pages. See the ... Read moreabout the conditionNew: A new, unread, unused book in perfect condition with no missing or damaged pages. See the seller's listing for full details. See all condition definitionsopens in a new window or tab
