Formal methods safety security (19 risultati)

Titolo: 
Perfeziona con la Ricerca avanzata

Perfeziona la tua ricerca

  • Libri (19)

Maggiori informazioni

a

Fascia di prezzo personalizzata (EUR)

a

    • Lingua: Inglese

      Editore: Singapore, Springer., 2018

      9811041202 / 9789811041204

      • Rilegato

      Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, GermaniaUniversitätsbuchhandlung Herta Hold GmbH

      Venditore con 4 stelle
      Contatta il venditore

      Membro dell’associazione: VDA, GIAQ, ILAB

      Condizione: Usato

      EUR 14,00

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

      Quantità: 1 disponibili

      23.5 cm x 15.5 cm, 0 g. XII, 132 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.

    • Lingua: Inglese

      Editore: Springer, 2019

      981135054X / 9789811350542

      • Brossura

      Da: Books Puddle, New York, NY, U.S.A.Books Puddle

      Venditore con 4 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 160,35

      EUR 3,49 spedizione 
      Spedito in U.S.A.

      Quantità: 4 disponibili

      Condizione: New. Softcover reprint of the original 1st ed. 2018 edition NO-PA16APR2015-KAP.

    • Lingua: Inglese

      Editore: Springer, 2019

      981135054X / 9789811350542

      • Brossura

      Da: preigu, Osnabrück, Germaniapreigu

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 104,20

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

      Quantità: 5 disponibili

      Taschenbuch. Condizione: Neu. Formal Methods for Safety and Security | Case Studies for Aerospace Applications | Manju Nanda (u. a.) | Taschenbuch | xii | Englisch | 2019 | Springer | EAN 9789811350542 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer…

    • Lingua: Inglese

      Editore: Springer Nature Singapore, Springer Nature Singapore, 2019

      981135054X / 9789811350542

      • Brossura

      Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 120,54

      EUR 61,31 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 1 disponibili

      Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such…

    • Lingua: Inglese

      Editore: Springer, 2018

      981135054X / 9789811350542

      • Brossura

      Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 183,73

      EUR 11,78 spedizione 
      Spedito da Regno Unito a U.S.A.

      Quantità: 1 disponibili

      Paperback. Condizione: Brand New. reprint edition. 144 pages. 9.25x6.10x0.33 inches. In Stock.

    • Lingua: Inglese

      Editore: Springer, Springer, 2017

      9811041202 / 9789811041204

      • Rilegato

      Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 131,13

      EUR 62,08 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 1 disponibili

      Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as tho…

    • Lingua: Inglese

      Editore: Springer, 2019

      981135054X / 9789811350542

      • Brossura

      Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books

      Venditore con 4 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 202,56

      EUR 29,44 spedizione 
      Spedito da Regno Unito a U.S.A.

      Quantità: 1 disponibili

      Paperback. Condizione: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

    • Lingua: Inglese

      Editore: Springer, 2019

      981135054X / 9789811350542

      • Brossura
      • Print on Demand

      Da: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 94,25

      EUR 5,50 spedizione 
      Spedito da Italia a U.S.A.

      Quantità: Più di 20 disponibili

      Condizione: new. Questo è un articolo print on demand.

    • Lingua: Inglese

      Editore: Springer, 2017

      9811041202 / 9789811041204

      • Rilegato
      • Print on Demand

      Da: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 102,25

      EUR 5,50 spedizione 
      Spedito da Italia a U.S.A.

      Quantità: Più di 20 disponibili

      Condizione: new. Questo è un articolo print on demand.

    • Lingua: Inglese

      Editore: Springer Nature Singapore, Springer Nature Singapore Jan 2019, 2019

      981135054X / 9789811350542

      • Brossura
      • Print on Demand

      Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 117,69

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

      Quantità: 2 disponibili

      Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical ap…

    • Lingua: Inglese

      Editore: Springer Singapore, 2019

      981135054X / 9789811350542

      • Brossura
      • Print on Demand

      Da: moluna, Greven, Germaniamoluna

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 98,54

      EUR 48,99 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: Più di 20 disponibili

      Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides a user experience in formal methodsProvides applicability/case studies of formal methods to the safety critical community that wants to implement thisProvides benchmark problems and application cases of form…

    • Lingua: Inglese

      Editore: Springer Nature Singapore Nov 2017, 2017

      9811041202 / 9789811041204

      • Rilegato
      • Print on Demand

      Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 128,39

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

      Quantità: 2 disponibili

      Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applicati…

    • Lingua: Inglese

      Editore: Springer Singapore, 2017

      9811041202 / 9789811041204

      • Rilegato
      • Print on Demand

      Da: moluna, Greven, Germaniamoluna

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 107,09

      EUR 48,99 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: Più di 20 disponibili

      Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides a user experience in formal methodsProvides applicability/case studies of formal methods to the safety critical community that wants to implement thisProvides benchmark problems and application cases of form…

    • Lingua: Inglese

      Editore: Springer, 2019

      981135054X / 9789811350542

      • Brossura
      • Print on Demand

      Da: Majestic Books, Hounslow, Regno UnitoMajestic Books

      Venditore con 4 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 168,91

      EUR 7,65 spedizione 
      Spedito da Regno Unito a U.S.A.

      Quantità: 4 disponibili

      Condizione: New. Print on Demand.

    • Lingua: Inglese

      Editore: Springer, Springer Jan 2019, 2019

      981135054X / 9789811350542

      • Brossura
      • Print on Demand

      Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 117,69

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

      Quantità: 1 disponibili

      Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applic…

    • Lingua: Inglese

      Editore: Springer, 2019

      981135054X / 9789811350542

      • Brossura
      • Print on Demand

      Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios

      Venditore con 4 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 169,63

      EUR 9,95 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 4 disponibili

      Condizione: New. PRINT ON DEMAND.

    • Lingua: Inglese

      Editore: Springer, 2017

      9811041202 / 9789811041204

      • Rilegato
      • Print on Demand

      Da: Majestic Books, Hounslow, Regno UnitoMajestic Books

      Venditore con 4 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 183,51

      EUR 7,65 spedizione 
      Spedito da Regno Unito a U.S.A.

      Quantità: 4 disponibili

      Condizione: New. Print on Demand.

    • Lingua: Inglese

      Editore: Springer, Springer Nov 2017, 2017

      9811041202 / 9789811041204

      • Rilegato
      • Print on Demand

      Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 128,39

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

      Quantità: 1 disponibili

      Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications,…

    • Lingua: Inglese

      Editore: Springer, 2017

      9811041202 / 9789811041204

      • Rilegato
      • Print on Demand

      Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios

      Venditore con 4 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 184,12

      EUR 9,95 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 4 disponibili

      Condizione: New. PRINT ON DEMAND.