Montant total (1 article articles) :
Destination de la commande :
formal methods applied industrial (18 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (18)
- 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 (15)
- Comme neuf, Très bon ou Bon (3)
- Assez bon ou satisfaisant (Aucun autre résultat ne correspond à ces critères)
- 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 (18)
- Couverture souple (Aucun autre résultat ne correspond à ces critères)
Particularités
- Ed. originale (2)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (6)
- Sans impressions à la demande (18)
Langue (1)
Prix
- Tous les prix
- Moins de EUR 20 (Aucun autre résultat ne correspond à ces critères)
- EUR 20 à EUR 45 (Aucun autre résultat ne correspond à ces critères)
- Plus de EUR 45
Livraison gratuite
Pays
Evaluation du vendeur
-
Formal Methods Applied to Industrial Complex Systems
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 160,90
Autre deviseEUR 2,28 expédition vers 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 163,26
Autre deviseGratuit expédition vers 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 178,52
Autre deviseEUR 2,28 expédition vers Etats-UnisQuantité disponible : 9 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
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 5 sur 5 étoiles
EUR 172,71
Autre deviseEUR 6,76 expédition depuis Royaume-Uni vers Etats-UnisQuantité 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 : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 167,65
Autre deviseEUR 17,28 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 9 disponible(s)
Ajouter au panierEtat : New.
-
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, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 201,55
Autre deviseGratuit expédition 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 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 183,61
Autre deviseEUR 17,28 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 9 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Formal Methods Applied to Industrial Complex Systems (Computer Engineering)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 201,85
Autre deviseEUR 13,80 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. In.
-
Formal Methods Applied to Industrial Complex Systems (Computer Engineering)
Vendeur : Ubiquity Trade, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 227,46
Autre deviseEUR 2,59 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. Brand new! Please provide a physical shipping address.
-
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 220,52
Autre deviseEUR 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. . . . .
-
EUR 187,39
Autre deviseEUR 48,99 expédition depuis Allemagne vers Etats-UnisQuantité 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 .
-
Formal Methods Applied to Industrial Complex Systems:.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 242,45
Autre deviseEUR 7,49 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 3 disponible(s)
Ajouter au panierEtat : New. pp. 496.
-
Formal Methods Applied to Industrial Complex Systems:.
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 256,07
Autre deviseEUR 3,44 expédition vers Etats-UnisQuantité disponible : 3 disponible(s)
Ajouter au panierEtat : New. pp. 496.
-
EUR 151,05
Autre deviseEUR 105 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
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 261,38
Autre deviseEUR 14,40 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 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 277,94
Autre deviseEUR 9,05 expédition 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. . . . . Books ship from the US and Ireland.
-
Formal Methods Applied to Industrial Complex Systems
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 231,20
Autre deviseEUR 64,08 expédition depuis Allemagne vers Etats-UnisQuantité 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 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,15
Autre deviseEUR 31,90 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.
