Articoli correlati a Industrial Use of Formal Methods: Formal Verification
Sinossi
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).
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull'autore
Jean-Louis Boulanger is an Independent Safety Assessor (ISA) in the railway domain for software.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Industrial Use of Formal Methods: Formal Verification
Foto dell'editore
Industrial Use Of Formal Methods: Formal Verification
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT25-220399
Compra nuovo
EUR 130,07
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Industrial Use of Formal Methods: Formal Verification
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Codice articolo Z1-J-012-02980
Compra usato
EUR 136,79
Spedizione EUR 12,43
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 3 disponibili
Foto dell'editore
Industrial Use of Formal Methods: Formal Verification (eng)
Da: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 5 su 5 stelle
Condizione: new. Codice articolo 22201579b85dd50c9ecd780a8a3d601f
Compra nuovo
EUR 145,42
Spedizione EUR 6,80
Spedito da Italia a U.S.A.
Spedito da Italia a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Industrial Use of Formal Methods: Formal Verification
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In English. Codice articolo ria9781848213630_new
Compra nuovo
EUR 176,95
Spedizione EUR 14,00
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Industrial Use of Formal Methods: Formal Verification
Editore:
ISTE Ltd and John Wiley & Sons Inc, 2012
ISBN 10: 1848213638
ISBN 13: 9781848213630
Nuovo
Rilegato
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. New copy - Usually dispatched within 4 working days. Codice articolo B9781848213630
Compra nuovo
EUR 177,33
Spedizione EUR 20,16
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Industrial Used of Formal Method
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 320. Codice articolo 25071266
Compra nuovo
EUR 191,72
Spedizione EUR 7,60
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 3 disponibili
Foto dell'editore
Industrial Used of Formal Method
Editore:
ISTE Ltd and John Wiley & Sons Inc, 2012
ISBN 10: 1848213638
ISBN 13: 9781848213630
Nuovo
Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: New. 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. Editor(s): Boulanger, Jean-Louis. Num Pages: 314 pages, Illustrations. BIC Classification: TG; UM; UYM. Category: (P) Professional & Vocational. Dimension: 237 x 162 x 23. Weight in Grams: 620. . 2012. . . . . Codice articolo V9781848213630
Compra nuovo
EUR 194,23
Spedizione EUR 9,50
Spedito da Irlanda a U.S.A.
Spedito da Irlanda a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Industrial Used of Formal Method
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 320. Codice articolo 2617379709
Compra nuovo
EUR 209,03
Spedizione EUR 3,45
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 3 disponibili
Foto dell'editore
Industrial Used of Formal Method Formal Verification
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Brand New. 1st edition. 298 pages. 9.33x6.38x0.91 inches. In Stock. Codice articolo __1848213638
Compra nuovo
EUR 209,99
Spedizione EUR 14,61
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Industrial Used of Formal Method
Editore:
ISTE Ltd and John Wiley & Sons Inc, 2012
ISBN 10: 1848213638
ISBN 13: 9781848213630
Nuovo
Rilegato
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. 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. Editor(s): Boulanger, Jean-Louis. Num Pages: 314 pages, Illustrations. BIC Classification: TG; UM; UYM. Category: (P) Professional & Vocational. Dimension: 237 x 162 x 23. Weight in Grams: 620. . 2012. . . . . Books ship from the US and Ireland. Codice articolo V9781848213630
Compra nuovo
EUR 249,42
Spedizione EUR 9,07
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili