Montant total (1 article articles) :
Destination de la commande :
formal methods applied complex (29 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (29)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (23)
- Comme neuf, Très bon ou Bon (5)
- Assez bon ou satisfaisant (1)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (Aucun autre résultat ne correspond à ces critères)
Reliure
- Toutes
- Couverture rigide (29)
- Couverture souple (Aucun autre résultat ne correspond à ces critères)
Particularités
- Ed. originale (5)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (11)
- Sans impressions à la demande (29)
Langue (1)
Prix
- Tous les prix
- Moins de EUR 20 (Aucun autre résultat ne correspond à ces critères)
- EUR 20 à EUR 45
- Plus de EUR 45
Livraison gratuite
Pays
Evaluation du vendeur
-
Formal Methods Applied to Industrial Complex Systems (Computer Engineering)
Vendeur : BooksRun, Philadelphia, PA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 106,78
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Very Good. 1. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
-
EUR 29,90
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Seiten: 480 | Sprache: Englisch | Produktart: Bücher | A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. 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 these "formal methods" (such as proof and model-checking) in industrial examples of complex systems.It is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.).
-
Formal Methods Applied to Industrial Complex Systems
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 158,32
Expédition à EUR 2,26
Expédition nationale : Etats-UnisQuantité disponible : 9 disponible(s)
Ajouter au panierEtat : New.
-
Formal Methods Applied To Industrial Complex Systems
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 160,67
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Formal Methods Applied to Industrial Complex Systems
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 177,58
Expédition à EUR 2,26
Expédition nationale : Etats-UnisQuantité disponible : 9 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Formal Methods Applied to Industrial Complex Systems
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 163,81
Expédition à EUR 17,22
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Formal Methods Applied to Complex Systems: Implementation of the B Method
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 4 sur 5 étoiles
EUR 181,57
Expédition à EUR 8
Expédition depuis Italie vers Etats-UnisQuantité disponible : 14 disponible(s)
Ajouter au panierEtat : new.
-
Formal Methods Applied to Complex Systems : Implementation of the B Method
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 198,52
Expédition à EUR 2,26
Expédition nationale : Etats-UnisQuantité disponible : 14 disponible(s)
Ajouter au panierEtat : New.
-
Formal Methods Applied to Industrial Complex Systems (Hardcover)
Langue: anglais
Edité par ISTE Ltd and John Wiley & Sons Inc, London, 2014
ISBN 10 : 1848216327 ISBN 13 : 9781848216327
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 200,92
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : new. Hardcover. A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. 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 these formal methods (such as proof and model-checking) in industrial examples of complex systems. It is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.). A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Formal Methods Applied to Industrial Complex Systems
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 180,28
Expédition à EUR 17,22
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Formal Methods Applied to Complex Systems : Implementation of the B Method
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 201,51
Expédition à EUR 2,26
Expédition nationale : Etats-UnisQuantité disponible : 14 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Formal Methods Applied to Complex Systems : Implementation of the B Method
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 194,26
Expédition à EUR 17,22
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 14 disponible(s)
Ajouter au panierEtat : New.
-
Formal Methods Applied to Complex Systems : Implementation of the B Method
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 199,17
Expédition à EUR 17,22
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 14 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Formal Methods Applied to Complex Systems
Langue: anglais
Edité par ISTE Ltd and John Wiley and Sons Inc, 2014
ISBN 10 : 1848217099 ISBN 13 : 9781848217096
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 217,26
Expédition à EUR 6,74
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 14 disponible(s)
Ajouter au panierHRD. Etat : New. New Book. Shipped from UK. Established seller since 2000.
-
Formal Methods Applied to Industrial Complex Systems (Computer Engineering)
Vendeur : Ubiquity Trade, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 226,25
Expédition à EUR 2,57
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. Brand new! Please provide a physical shipping address.
-
Formal Methods Applied to Complex Systems
Langue: anglais
Edité par ISTE Ltd and John Wiley and Sons Inc, GB, 2014
ISBN 10 : 1848217099 ISBN 13 : 9781848217096
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 228,95
Livraison gratuite
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 7 disponible(s)
Ajouter au panierHardback. Etat : New. 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.).
-
Formal Methods Applied to Complex Systems (Hardcover)
Langue: anglais
Edité par ISTE Ltd and John Wiley & Sons Inc, London, 2014
ISBN 10 : 1848217099 ISBN 13 : 9781848217096
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 231,17
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : new. Hardcover. 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.). 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Formal Methods Applied to Industrial Complex Systems
Langue: anglais
Edité par ISTE Ltd and John Wiley & Sons Inc, 2014
ISBN 10 : 1848216327 ISBN 13 : 9781848216327
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
EUR 221,66
Expédition à EUR 10,50
Expédition depuis Irlande vers Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. Editor(s): Boulanger, Jean-Louis. Num Pages: 480 pages, illustrations (black and white). BIC Classification: TBJ. Category: (P) Professional & Vocational. Dimension: 165 x 241 x 30. Weight in Grams: 848. . 2014. Hardback. . . . .
-
Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering (Wiley))
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 217,64
Expédition à EUR 17,79
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 14 disponible(s)
Ajouter au panierHardcover. Etat : New.
-
Formal Methods Applied to Industrial Complex Systems:.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 240,03
Expédition à EUR 7,46
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 3 disponible(s)
Ajouter au panierEtat : New. pp. 496.
-
EUR 201,90
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of .
-
Formal Methods Applied to Complex Systems: Implementation of the B Method
Langue: anglais
Edité par ISTE Ltd and John Wiley & Sons Inc, 2014
ISBN 10 : 1848217099 ISBN 13 : 9781848217096
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 243
Expédition à EUR 10,50
Expédition depuis Irlande vers Etats-UnisQuantité disponible : 14 disponible(s)
Ajouter au panierEtat : New. Editor(s): Boulanger, Jean-Louis. Num Pages: 496 pages, illustrations (black and white). BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 241 x 161 x 32. Weight in Grams: 884. . 2014. 1st Edition. Hardcover. . . . .
-
Formal Methods Applied to Industrial Complex Systems:.
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 260,36
Expédition à EUR 3,42
Expédition nationale : Etats-UnisQuantité disponible : 3 disponible(s)
Ajouter au panierEtat : New. pp. 496.
-
Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 260,48
Expédition à EUR 14,35
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierHardcover. Etat : Brand New. 1st edition. 496 pages. 9.50x6.50x1.25 inches. In Stock.
-
Formal Methods Applied to Complex Systems
Langue: anglais
Edité par ISTE Ltd and John Wiley and Sons Inc, GB, 2014
ISBN 10 : 1848217099 ISBN 13 : 9781848217096
Vendeur : Rarewaves.com UK, London, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 212,42
Expédition à EUR 74,63
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 7 disponible(s)
Ajouter au panierHardback. Etat : New. 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.).
-
Formal Methods Applied to Industrial Complex Systems
Langue: anglais
Edité par ISTE Ltd and John Wiley & Sons Inc, 2014
ISBN 10 : 1848216327 ISBN 13 : 9781848216327
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 275,33
Expédition à EUR 9
Expédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. Editor(s): Boulanger, Jean-Louis. Num Pages: 480 pages, illustrations (black and white). BIC Classification: TBJ. Category: (P) Professional & Vocational. Dimension: 165 x 241 x 30. Weight in Grams: 848. . 2014. Hardback. . . . . Books ship from the US and Ireland.
-
Formal Methods Applied to Complex Systems: Implementation of the B Method
Langue: anglais
Edité par ISTE Ltd and John Wiley & Sons Inc, 2014
ISBN 10 : 1848217099 ISBN 13 : 9781848217096
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 302,85
Expédition à EUR 9
Expédition nationale : Etats-UnisQuantité disponible : 14 disponible(s)
Ajouter au panierEtat : New. Editor(s): Boulanger, Jean-Louis. Num Pages: 496 pages, illustrations (black and white). BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 241 x 161 x 32. Weight in Grams: 884. . 2014. 1st Edition. Hardcover. . . . . Books ship from the US and Ireland.
-
Formal Methods Applied to Industrial Complex Systems (Hardcover)
Langue: anglais
Edité par ISTE Ltd and John Wiley & Sons Inc, London, 2014
ISBN 10 : 1848216327 ISBN 13 : 9781848216327
Vendeur : AussieBookSeller, Truganina, VIC, Australie
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 322,34
Expédition à EUR 31,73
Expédition depuis Australie vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : new. Hardcover. A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. 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 these formal methods (such as proof and model-checking) in industrial examples of complex systems. It is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.). A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Formal Methods Applied to Complex Systems (Hardcover)
Langue: anglais
Edité par ISTE Ltd and John Wiley & Sons Inc, London, 2014
ISBN 10 : 1848217099 ISBN 13 : 9781848217096
Vendeur : AussieBookSeller, Truganina, VIC, Australie
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 346,65
Expédition à EUR 31,73
Expédition depuis Australie vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : new. Hardcover. 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.). 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
