Montant total (1 article articles) :
Destination de la commande :
formal methods applied complex (32 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (32)
- 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)
Reliure
- Toutes
- Couverture rigide (32)
- 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 (32)
Langue (1)
Livraison gratuite
Pays
Evaluation du vendeur
-
Gratuit expédition depuis Allemagne vers France
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Seiten: 480 | Sprache: Englisch | Produktart: Bücher.
-
Formal Methods Applied To Industrial Complex Systems
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 158,01
Autre deviseEUR 2,91 expédition depuis Etats-Unis vers FranceQuantité 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 155,64
Autre deviseEUR 17,34 expédition depuis Etats-Unis vers FranceQuantité disponible : 9 disponible(s)
Ajouter au panierEtat : New.
-
Formal Methods Applied to Industrial Complex Systems
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 162,48
Autre deviseEUR 17,51 expédition depuis Royaume-Uni vers FranceQuantité disponible : 9 disponible(s)
Ajouter au panierEtat : New.
-
Formal Methods Applied to Industrial Complex Systems
Edité par ISTE Ltd and John Wiley and Sons Inc, 2014
ISBN 10 : 1848216327 ISBN 13 : 9781848216327
Langue: anglais
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 175,01
Autre deviseEUR 6,04 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierHRD. Etat : New. New Book. Shipped from UK. Established seller since 2000.
-
Formal Methods Applied to Industrial Complex Systems
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 166,75
Autre deviseEUR 17,34 expédition depuis Etats-Unis vers FranceQuantité 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 172,32
Autre deviseEUR 17,51 expédition depuis Royaume-Uni vers FranceQuantité disponible : 9 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
EUR 187,39
Autre deviseEUR 9,70 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierGebunden. Etat : 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 .
-
EUR 197,11
Autre deviseEUR 9,70 expédition depuis Allemagne vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierGebunden. Etat : New. Inhaltsverzeichnis1. Presentation of the B Method, Jean-Louis Boulanger. 2. Atelier B, Thierry Lecomte. 3. B Tools, Jean-Louis Boulanger. 4. The B Method at Siemens, Daniel Dolle. 5. Industrial Applications for Modeling with the B Me.
-
Formal Methods Applied to Industrial Complex Systems (Computer Engineering)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 212,40
Autre deviseEUR 4,66 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. In.
-
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 202,19
Autre deviseEUR 17,51 expédition depuis Royaume-Uni vers FranceQuantité 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 203,08
Autre deviseEUR 17,34 expédition depuis Etats-Unis vers FranceQuantité 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 (Iste)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 209,92
Autre deviseEUR 11,08 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : New.
-
Formal Methods Applied to Industrial Complex Systems
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 208,58
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierBuch. Etat : Neu. Neuware - 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 Complex Systems: Implementation of the B Method (Computer Engineering Series)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 223,65
Autre deviseEUR 4,66 expédition depuis Royaume-Uni vers FranceQuantité disponible : 17 disponible(s)
Ajouter au panierEtat : New. In.
-
Formal Methods Applied to Complex Systems
Edité par ISTE Ltd and John Wiley and Sons Inc, 2014
ISBN 10 : 1848217099 ISBN 13 : 9781848217096
Langue: anglais
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 220,94
Autre deviseEUR 6,04 expédition depuis Royaume-Uni vers FranceQuantité disponible : 15 disponible(s)
Ajouter au panierHRD. Etat : New. New Book. Shipped from UK. Established seller since 2000.
-
Formal Methods Applied to Industrial Complex Systems
Edité par ISTE Ltd and John Wiley & Sons Inc, 2014
ISBN 10 : 1848216327 ISBN 13 : 9781848216327
Langue: anglais
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
EUR 227,16
Autre deviseEUR 3 expédition depuis Irlande vers FranceQuantité 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 221,30
Autre deviseEUR 11,08 expédition depuis Royaume-Uni vers FranceQuantité disponible : 17 disponible(s)
Ajouter au panierHardcover. Etat : 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 219,72
Autre deviseEUR 17,34 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Formal Methods Applied to Complex Systems : Implementation of the B Method
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 221,79
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierBuch. Etat : Neu. Neuware - 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 : Implementation of the B Method
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 220,93
Autre deviseEUR 17,51 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Formal Methods Applied to Industrial Complex Systems:.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 241,20
Autre deviseEUR 10,33 expédition depuis Royaume-Uni vers FranceQuantité disponible : 3 disponible(s)
Ajouter au panierEtat : New. pp. 496.
-
Formal Methods Applied to Complex Systems Implementation of the B Method
Edité par Iste/Hermes Science Pub, 2014
ISBN 10 : 1848216327 ISBN 13 : 9781848216327
Langue: anglais
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 251,28
Autre deviseEUR 11,68 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Brand New. 1st edition. 480 pages. 8.00x5.00x1.00 inches. In Stock.
-
Formal Methods Applied to Industrial Complex Systems (Hardcover)
Edité par ISTE Ltd and John Wiley & Sons Inc, London, 2014
ISBN 10 : 1848216327 ISBN 13 : 9781848216327
Langue: anglais
Vendeur : Grand Eagle Retail, Fairfield, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 203,30
Autre deviseEUR 65,07 expédition depuis Etats-Unis vers FranceQuantité 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 : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 262,53
Autre deviseEUR 7,81 expédition depuis Etats-Unis vers FranceQuantité 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 264,87
Autre deviseEUR 11,68 expédition depuis Royaume-Uni vers FranceQuantité 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 Industrial Complex Systems
Edité par ISTE Ltd and John Wiley & Sons Inc, 2014
ISBN 10 : 1848216327 ISBN 13 : 9781848216327
Langue: anglais
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 278,17
Autre deviseEUR 2,73 expédition depuis Etats-Unis vers FranceQuantité 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 (Hardcover)
Edité par ISTE Ltd and John Wiley & Sons Inc, London, 2014
ISBN 10 : 1848217099 ISBN 13 : 9781848217096
Langue: anglais
Vendeur : Grand Eagle Retail, Fairfield, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 222,09
Autre deviseEUR 65,07 expédition depuis Etats-Unis vers FranceQuantité 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 Complex Systems: Implementation of the B Method
Edité par ISTE Ltd and John Wiley & Sons Inc, 2014
ISBN 10 : 1848217099 ISBN 13 : 9781848217096
Langue: anglais
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 311,91
Autre deviseEUR 3 expédition depuis Irlande vers FranceQuantité disponible : 17 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 (Hardcover)
Edité par ISTE Ltd and John Wiley & Sons Inc, London, 2014
ISBN 10 : 1848216327 ISBN 13 : 9781848216327
Langue: anglais
Vendeur : AussieBookSeller, Truganina, VIC, Australie
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 301,93
Autre deviseEUR 32,10 expédition depuis Australie vers FranceQuantité 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.
