Isbn: 9781848216327 - formal methods applied to industrial complex systems (10 risultati)

ISBN: 
Perfeziona con la Ricerca avanzata

Perfeziona la tua ricerca

  • Libri (10)

a

Fascia di prezzo personalizzata (EUR)

a

  • Lingua: Inglese

    Editore: Wiley-ISTE (edition 1), 2014

    1848216327 / 9781848216327

    • Rilegato

    Da: BooksRun, Philadelphia, PA, U.S.A.BooksRun

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Usato - Molto buono

    EUR 144,23

     Spedizione gratuita 
    Spedito in U.S.A.

    Quantità: 1 disponibile

    Hardcover. Condizione: 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.

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2014

    1848216327 / 9781848216327

    • Rilegato

    Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 162,44

    EUR 2,36 spedizione 
    Spedito in U.S.A.

    Quantità: 9 disponibili

    Condizione: New.

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2014

    1848216327 / 9781848216327

    • Rilegato

    Da: Basi6 International, Irving, TX, U.S.A.Basi6 International

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 164,87

     Spedizione gratuita 
    Spedito in U.S.A.

    Quantità: 1 disponibile

    Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2014

    1848216327 / 9781848216327

    • Rilegato

    Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Usato - Come nuovo

    EUR 185,09

    EUR 2,36 spedizione 
    Spedito in U.S.A.

    Quantità: 9 disponibili

    Condizione: As New. Unread book in perfect condition.

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2014

    1848216327 / 9781848216327

    • Rilegato

    Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 170,07

    EUR 17,72 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New.

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2014

    1848216327 / 9781848216327

    • Rilegato

    Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Usato - Come nuovo

    EUR 190,62

    EUR 17,72 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: As New. Unread book in perfect condition.

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2014

    1848216327 / 9781848216327

    • Rilegato

    Da: Ubiquity Trade, Miami, FL, U.S.A.Ubiquity Trade

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 235,55

    EUR 2,68 spedizione 
    Spedito in U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New. Brand new! Please provide a physical shipping address.

  • Lingua: Inglese

    Editore: ISTE Ltd and John Wiley & Sons Inc, 2014

    1848216327 / 9781848216327

    • Rilegato

    Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 221,66

    EUR 9,50 spedizione 
    Spedito da Irlanda a U.S.A.

    Quantità: 15 disponibili

    Condizione: 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. . . . . …

  • Lingua: Inglese

    Editore: Wiley, 2014

    1848216327 / 9781848216327

    • Rilegato

    Da: Buchpark, Trebbin, GermaniaBuchpark

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Usato - Ottimo

    EUR 159,17

    EUR 105,00 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 1 disponibile

    Condizione: 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.).…

  • Lingua: Inglese

    Editore: ISTE Ltd and John Wiley & Sons Inc, 2014

    1848216327 / 9781848216327

    • Rilegato

    Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 286,64

    EUR 9,37 spedizione 
    Spedito in U.S.A.

    Quantità: 15 disponibili

    Condizione: 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. …