Code: 01434090

Industrial Use of Formal Methods

Name: Industrial Use of Formal Methods
Brand: ISTE Ltd and John Wiley & Sons Inc
SKU: 01434090
Price: 199.85 EUR
Availability: BackOrder

by Jean-Louis Boulanger

Language: English
Binding: Hardback
Number of pages: 314
Publisher: ISTE Ltd and John Wiley & Sons Inc, 2012
More about this

199.85 €

Availability:

50/50

We think title might be available. Upon your order we will do our best to get it within 6 weeks.
We search the world

Availability alert

Add to wishlist

Walnut Tree
38.35 € -10 %
Buy
The Innovator's Dilemma
27.40 € -6 %
Buy
Sketching People
17.28 € -18 %
Buy
1984
9.09 € -24 %
Buy
How to Draw
35.48 € -13 %
Buy
The Sad Variety
12.67 € -4 %
Buy
Come to the Water
11.55 €
Buy
From Trafficking to Terror
267.46 €
Buy
Mykonos Muse
125.29 €
Buy
Bad Kitty Goes to the Vet
20.04 € -12 %
Buy
Beginner's Guide to Reading Schematics, Fourth Edition
21.57 € -18 %
Buy
Place Promised in Our Early Days
15.84 € -25 %
Buy
Cheri, My Destiny!
12.06 € -16 %
Buy
Cyberpunk 2077: No Coincidence
18.91 € -23 %
Buy
Kingdom Advancing Prayer Volume I
18.50 € -13 %
Buy
Functional Art, The
40.49 € -9 %
Buy
Silicon Quantum Integrated Circuits
188.91 €
Buy
An introduction to the theory of gender-neutral language
35.38 € -1 %
Buy
appreciation of Andrew Adamson's The Lion, the Witch and the Wardrobe
43.15 € -1 %
Buy
Enhancing English Learning Experience for ESL Learners
70.97 € -1 %
Buy
Reviews of Environmental Contamination and Toxicology
110.15 € -2 %
Buy
Sense and Sensibility
15.43 € -24 %
Buy
Les Paul Guitar Book
25.97 € -17 %
Buy
JUANA LA LOCA BD
15.95 €
Buy
Katholische Religion an Stationen, Klassen 1/2
24.13 € -4 %
Buy
Medicina interna de pequeños animales 6ª ed
215.81 €
Buy
Im Herzen der Sudsee
13.59 € -2 %
Buy
La Biblia de la astronomía: La guía definitiva del firmamento y del universo
18.91 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

Availability alert

We will watch availability for you

Enter your e-mail address and once book will be available,
we will send you a message. It's that simple.

More about Industrial Use of Formal Methods

Book details
Synopsis
Trending among others

You get 494 loyalty points

Book synopsis

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