Formal Methods Applied to Complex Systems

Language: English

Published by ISTE Ltd and John Wiley and Sons Inc, GB, 2014

1848217099 / 9781848217096

  • Hardcover
  • New
See all details

Seller: Rarewaves.com UK, London, United KingdomRarewaves.com UK

5-star seller

AbeBooks seller since June 11, 2025

View this seller's items
Hardcover

Condition: New

£ 179.61

£ 65.00 shipping 
Ships from United Kingdom to U.S.A.

Quantity: 7 available

Add to basket

Item description from seller

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

Seller Inventory # LU-9781848217096

Title
Formal Methods Applied to Complex Systems
Author
Jean-Louis Boulanger
Publisher
ISTE Ltd and John Wiley and Sons Inc, GB
Publication year
2014
Condition
New
Binding
Hardback
Language
English
ISBN 10
1848217099
ISBN 13
9781848217096
Item weight
884 grams

Rarewaves.com UK

London, United Kingdom

5-star seller

AbeBooks seller since June 11, 2025

Shipping rates from United Kingdom to U.S.A.

Item60 to 60 business days60 to 60 business days
First item£ 65.00£ 100.00
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

VisaMastercardAmerican ExpressApple PayGoogle Pay

Seller's business information

RAREWAVES.COM LIMITED

Elsley Court, 20-22 Great Titchfield Street
London, United Kingdom W1W 8BE