Formal Methods Applied to Complex Systems - 9781848217096
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
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 as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them 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
241mm
Item Width
161mm
Number of Pages
496 Pages
Item Weight
884g
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
