Home/Products/Industrial Use of Formal Methods: Formal Verification

Description

About this product

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.

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 experience of people which are completely involved in the realization and the evaluation of safety critical system software based. 

The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example).

Book details

Format
Hardback
Publisher
ISTE Ltd and John Wiley & Sons Inc
Imprint
ISTE Ltd and John Wiley & Sons Inc
Author
Jean-Louis Boulanger (Consultant), ISTE Ltd and John Wiley & Sons Inc, ISTE Ltd and John Wiley & Sons Inc
ISBN-13
9781848213630
Publication date
2012-06-15
Dimensions
163 mm × 241 mm × 23 mm
Weight
612 g
Country of origin
GB

Hardback

Industrial Use of Formal Methods: Formal Verification

door Jean-Louis Boulanger (Consultant)

Currently out of stock

Free shipping

from €20

30-day returns

zonder gedoe

Secure payment

iDEAL · Klarna

Thuiswinkel Waarborg

Why you'll love it

  • Premium quality, carefully selected
  • Fast delivery, tomorrow at your door
  • Easy returns within 30 days
  • Secure payment

MYBOEKEN

  • General Terms and Conditions
  • Company information
  • Over Myboeken
  • Quality mark
  • Customer service
  • Contact us
  • Privacy
  • Guide
  • Track Order

INFORMATIE

  • Orders
  • Deliver
  • Pay
  • Return
  • FAQ
  • Warranty & Complaints
  • Business orders
  • Reading Guides

CONTACT

Effect 4, 6921 RV Duiven
026-2074646
10:00 – 16:00
[email protected]
0638045945

NEWSLETTER

Receive the best offers and tips

PAYMENT

Bancontact
Direct bank
iDEAL
Klarna
PayPal
SOFORT
Visa

FOLLOW US

Comic Books & MangaArt & PhotographyChildren's booksStudy & ScienceLifestyleOther
Thuiswinkel Waarborg
myboeken.nl

Myboeken is the online bookstore for carefully selected books. Fast delivery in the Netherlands & Europe.

PrivacyTerms & Conditions
© 2026 MYBOEKEN
myboeken.nl
BestsellersQuotationDeals
0
CategoriesBestsellersQuotationDeals

Popular searches

Berserk Deluxe Volume 1

Berserk Deluxe Volume 1

9781506711980

Throne of Glass Box Set (Paperback): The complete series in paperback from the author of ACOTAR

Throne of Glass Box Set (Paperback): The complete series in paperback from the author of ACOTAR

9781526650535

The Hobbit and The Lord of the Rings: Deluxe Pocket Boxed Set: An Epic Fantasy Boxed Set of Tolkien's Quintessential Work

The Hobbit and The Lord of the Rings: Deluxe Pocket Boxed Set: An Epic Fantasy Boxed Set of Tolkien's Quintessential Work

9780544445789

Quick links

New releasesTrending on tiktokGift ideas

Trending now

How to Build a Car: The Autobiography of the World’s Greatest Formula 1 Designer

How to Build a Car: The Autobiography of the World’s Greatest Formula 1 Designer

Newey, Adrian

The Science of Animals: Inside their Secret World

The Science of Animals: Inside their Secret World

DK || Chris Packham

The Rolling Stones All the Songs Expanded Edition: The Story Behind Every Track

The Rolling Stones All the Songs Expanded Edition: The Story Behind Every Track

Jean-Michel Guesdon || Philippe Margotin

Ride: Cycle the World

Ride: Cycle the World

DK Travel

0
Home
0
Cart

Recommended

You might also like

View more
Murdoku: 80 Murder Mystery Logic Puzzles: Volume 1

M. Garand

Murdoku: 80 Murder Mystery Logic Puzzles: Volume 1

€ 20,70

How to Build a Car: The Autobiography of the World’s Greatest Formula 1 Designer

Newey, Adrian

How to Build a Car: The Autobiography of the World’s Greatest Formula 1 Designer

€ 28,80

Chanel: Collections and Creations

Danièle Bott

Chanel: Collections and Creations

€ 32,40

Japan: The Cookbook (Cucina)

Hachisu, Nancy Singleton

Japan: The Cookbook (Cucina)

€ 40,50

The World Atlas of Coffee: 2nd edition (old edition)

James Hoffmann

The World Atlas of Coffee: 2nd edition (old edition)

€ 25,20

National Geographic Stunning Photographs

Annie Griffiths

National Geographic Stunning Photographs

€ 30,60

The Rolling Stones All the Songs Expanded Edition: The Story Behind Every Track

Jean-Michel Guesdon || Philippe Margotin

The Rolling Stones All the Songs Expanded Edition: The Story Behind Every Track

€ 37,80

Collins World Atlas: Complete Edition

Collins Maps

Collins World Atlas: Complete Edition

€ 34,20

Louis Vuitton: A Perfume Atlas

Jacques Cavallier-Belletrud || Lionel Paillès || Aurore de la Morinerie

Louis Vuitton: A Perfume Atlas

€ 130,50

Queen of Shadows: From the # 1 Sunday Times best-selling author of A Court of Thorns and Roses

Sarah J. Maas

Queen of Shadows: From the # 1 Sunday Times best-selling author of A Court of Thorns and Roses

€ 18,00

Series & related

More about Industrial

View more
Industrial Electricity

Michael Brumbach (York Technical College, Rock Hill, South Carolina)

Industrial Electricity

€ 106,08

Industrial Organization: Markets and Strategies

Paul Belleflamme , Martin Peitz

Industrial Organization: Markets and Strategies

€ 88,63

Industrial Revolution: Industrial Revolution

Introbooks

Industrial Revolution: Industrial Revolution

€ 18,00

Industrial Drawing: Industrial Series

Horace Richmond Thayer || E L Keller

Industrial Drawing: Industrial Series

€ 49,10

Effective Maintenance Management

V Narayan

Effective Maintenance Management

€ 78,02

Machinery's Handbook & the Guide Combo: Toolbox

Erik Valdemar Oberg || Franklin Day Jones

Machinery's Handbook & the Guide Combo: Toolbox

€ 185,81

Machinery's Handbook & the Guide Combo: Large Print

Erik Oberg || Franklin D Jones || Holbrook Horton || Henry Ryffel || Christopher McCauley

Machinery's Handbook & the Guide Combo: Large Print

€ 220,83

Advanced AutoCAD® 2022 Exercise Workbook: For Windows®

Cheryl R. Shrock || Steve Heather

Advanced AutoCAD® 2022 Exercise Workbook: For Windows®

€ 80,76

The 88

Collis

The 88

€ 21,91

Mantenimiento Industrial: Organizacion, control y gestion

Raimundo Heber Gonzalez Garcia

Mantenimiento Industrial: Organizacion, control y gestion

€ 51,79