Gesamtpreis (1 Artikel Artikel):
Versandziel:
formal methods applied complex (32 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (32)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand
Einband
- alle Einbände
- Hardcover (32)
- Softcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Weitere Eigenschaften
- Erstausgabe (5)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (11)
- Keine Print-on-Demand Angebote (32)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 480 | Sprache: Englisch | Produktart: Bücher.
-
Formal Methods Applied To Industrial Complex Systems
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 157,64
Währung umrechnenKostenlos für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: 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
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 155,27
Währung umrechnenEUR 17,30 für den Versand von USA nach DeutschlandAnzahl: 9 verfügbar
In den WarenkorbZustand: New.
-
EUR 172,32
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: 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
Verlag: ISTE Ltd and John Wiley and Sons Inc, 2014
ISBN 10: 1848216327 ISBN 13: 9781848216327
Sprache: Englisch
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 176,03
Währung umrechnenEUR 4,73 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Formal Methods Applied to Industrial Complex Systems
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 162,18
Währung umrechnenEUR 17,61 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 9 verfügbar
In den WarenkorbZustand: New.
-
Formal Methods Applied to Industrial Complex Systems
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 166,36
Währung umrechnenEUR 17,30 für den Versand von USA nach DeutschlandAnzahl: 9 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Formal Methods Applied to Industrial Complex Systems
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 172,17
Währung umrechnenEUR 17,61 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 9 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
EUR 195,93
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: 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
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 208,58
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbBuch. Zustand: 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 (Computer Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 213,63
Währung umrechnenEUR 5,85 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Methods Applied to Complex Systems : Implementation of the B Method
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 203,33
Währung umrechnenEUR 17,61 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Formal Methods Applied to Complex Systems : Implementation of the B Method
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 203,90
Währung umrechnenEUR 17,30 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Formal Methods Applied to Complex Systems : Implementation of the B Method
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 221,79
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: 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 (Iste)
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 211,14
Währung umrechnenEUR 15,25 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: New.
-
Formal Methods Applied to Complex Systems
Verlag: ISTE Ltd and John Wiley and Sons Inc, 2014
ISBN 10: 1848217099 ISBN 13: 9781848217096
Sprache: Englisch
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 222,23
Währung umrechnenEUR 4,73 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 15 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering Series)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 224,95
Währung umrechnenEUR 5,85 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 17 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Methods Applied to Industrial Complex Systems
Verlag: ISTE Ltd and John Wiley & Sons Inc, 2014
ISBN 10: 1848216327 ISBN 13: 9781848216327
Sprache: Englisch
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
EUR 227,16
Währung umrechnenEUR 2,00 für den Versand von Irland nach DeutschlandAnzahl: 15 verfügbar
In den WarenkorbZustand: 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))
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 222,59
Währung umrechnenEUR 15,25 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 17 verfügbar
In den WarenkorbHardcover. Zustand: New.
-
Formal Methods Applied to Complex Systems : Implementation of the B Method
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 219,21
Währung umrechnenEUR 17,30 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Methods Applied to Complex Systems : Implementation of the B Method
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 222,22
Währung umrechnenEUR 17,61 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Methods Applied to Industrial Complex Systems:.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 240,64
Währung umrechnenEUR 10,39 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 3 verfügbar
In den WarenkorbZustand: New. pp. 496.
-
Formal Methods Applied to Complex Systems Implementation of the B Method
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 252,74
Währung umrechnenEUR 11,74 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 1st edition. 480 pages. 8.00x5.00x1.00 inches. In Stock.
-
Formal Methods Applied to Industrial Complex Systems (Hardcover)
Verlag: ISTE Ltd and John Wiley & Sons Inc, London, 2014
ISBN 10: 1848216327 ISBN 13: 9781848216327
Sprache: Englisch
Anbieter: Grand Eagle Retail, Fairfield, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 202,82
Währung umrechnenEUR 64,92 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: 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.
-
EUR 261,91
Währung umrechnenEUR 7,79 für den Versand von USA nach DeutschlandAnzahl: 3 verfügbar
In den WarenkorbZustand: New. pp. 496.
-
Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 266,40
Währung umrechnenEUR 11,74 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 1st edition. 496 pages. 9.50x6.50x1.25 inches. In Stock.
-
Formal Methods Applied to Industrial Complex Systems
Verlag: ISTE Ltd and John Wiley & Sons Inc, 2014
ISBN 10: 1848216327 ISBN 13: 9781848216327
Sprache: Englisch
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 277,52
Währung umrechnenEUR 1,90 für den Versand von USA nach DeutschlandAnzahl: 15 verfügbar
In den WarenkorbZustand: 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)
Verlag: ISTE Ltd and John Wiley & Sons Inc, London, 2014
ISBN 10: 1848217099 ISBN 13: 9781848217096
Sprache: Englisch
Anbieter: Grand Eagle Retail, Fairfield, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 221,57
Währung umrechnenEUR 64,92 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: 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
Verlag: ISTE Ltd and John Wiley & Sons Inc, 2014
ISBN 10: 1848217099 ISBN 13: 9781848217096
Sprache: Englisch
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 311,91
Währung umrechnenEUR 2,00 für den Versand von Irland nach DeutschlandAnzahl: 17 verfügbar
In den WarenkorbZustand: 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)
Verlag: ISTE Ltd and John Wiley & Sons Inc, London, 2014
ISBN 10: 1848216327 ISBN 13: 9781848216327
Sprache: Englisch
Anbieter: AussieBookSeller, Truganina, VIC, Australien
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 303,25
Währung umrechnenEUR 32,03 für den Versand von Australien nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: 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.
