9783030469016 - formal techniques for safety-critical systems: 7th international workshop, ftscs 2019, shenzhen, china, november 9, 2019, revised selected papers: 1165 (13 risultati)
Lingua: Inglese
Editore: Springer 2020
Serie: Communications in Computer and Information Science, Libro 329 di 578. Libro 329 di 578 - Communications in Computer and Information Science
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 81,50
EUR 3,50 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 139.
Lingua: Inglese
Editore: Springer-Nature New York Inc 2020
Serie: Communications in Computer and Information Science, Libro 329 di 578. Libro 329 di 578 - Communications in Computer and Information Science
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 86,02
EUR 11,59 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Brand New. 152 pages. 9.25x6.10x0.35 inches. In Stock.
Lingua: Inglese
Editore: Springer 2020
Serie: Communications in Computer and Information Science, Libro 329 di 578. Libro 329 di 578 - Communications in Computer and Information Science
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,39
EUR 61,21 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China,in November 2019.The 6 revised full papers presented were carefully reviewed and… selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the topics of the use of formal methods for analyzing safety-critical systems;methods, techniques and tools to support automated analysis, certication, debugging, etc., of complex safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry;code generation from validated models.
Lingua: Inglese
Editore: Springer 2020
Serie: Communications in Computer and Information Science, Libro 329 di 578. Libro 329 di 578 - Communications in Computer and Information Science
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,35
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Formal Techniques for Safety-Critical Systems | 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers | Osman Hasan (u. a.) | Taschenbuch | Communications in Computer and Information Science | viii | Englisch | 2020 | Springer | EAN 9783030469016 | Verant…wortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Lingua: Inglese
Editore: Springer 2020
Serie: Communications in Computer and Information Science, Libro 329 di 578. Libro 329 di 578 - Communications in Computer and Information Science
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 106,21
EUR 28,97 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Lingua: Inglese
Editore: Springer 2020
Serie: Communications in Computer and Information Science, Libro 329 di 578. Libro 329 di 578 - Communications in Computer and Information Science
- Brossura
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 41,32
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019.The 6 revised full papers presented were carefully rev…iewed and selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the topics of the use of formal methods for analyzing safety-critical systems; methods, techniques and tools to support automated analysis, certication, debugging, etc., of complex safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry; code generation from validated models.
Lingua: Inglese
Editore: Springer 2020
Serie: Communications in Computer and Information Science, Libro 329 di 578. Libro 329 di 578 - Communications in Computer and Information Science
- Brossura
Da: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, GermaniaBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 189,90
EUR 39,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Softcover. Condizione: gut. 2020. Formal Techniques for Safety-Critical Systems In deutscher Sprache. pages.
Lingua: Inglese
Editore: Springer 2020
Serie: Communications in Computer and Information Science, Libro 329 di 578. Libro 329 di 578 - Communications in Computer and Information Science
- Brossura
- Print on Demand
Da: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 46,22
EUR 5,50 spedizioneSpedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Condizione: new. Questo è un articolo print on demand.
Lingua: Inglese
Editore: Springer International Publishing Apr 2020 2020
Serie: Communications in Computer and Information Science, Libro 329 di 578. Libro 329 di 578 - Communications in Computer and Information Science
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito 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 book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China,in November 2019.The 6 revised full papers presented were carefu…lly reviewed and selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the topics of the use of formal methods for analyzing safety-critical systems;methods, techniques and tools to support automated analysis, certication, debugging, etc., of complex safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry;code generation from validated models. 152 pp. Englisch.
Lingua: Inglese
Editore: Springer 2020
Serie: Communications in Computer and Information Science, Libro 329 di 578. Libro 329 di 578 - Communications in Computer and Information Science
- Brossura
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 81,98
EUR 7,53 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand pp. 139.
Lingua: Inglese
Editore: Springer 2020
Serie: Communications in Computer and Information Science, Libro 329 di 578. Libro 329 di 578 - Communications in Computer and Information Science
- Brossura
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 81,43
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. 139.
Lingua: Inglese
Editore: Springer International Publishing 2020
Serie: Communications in Computer and Information Science, Libro 329 di 578. Libro 329 di 578 - Communications in Computer and Information Science
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,37
EUR 48,99 spedizioneSpedito 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. This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019.The 6 revised full papers p…resented were carefully re.
Lingua: Inglese
Editore: Springer, Springer Apr 2020 2020
Serie: Communications in Computer and Information Science, Libro 329 di 578. Libro 329 di 578 - Communications in Computer and Information Science
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 15…2 pp. Englisch.
