Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 53,65
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 60,06
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 60,73
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 57,15
Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 60,12
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 66,90
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2016
ISBN 10: 3319296272 ISBN 13: 9783319296272
Da: Revaluation Books, Exeter, Regno Unito
EUR 80,91
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 340 pages. 9.00x6.00x0.75 inches. In Stock.
Lingua: Inglese
Editore: Springer International Publishing, 2016
ISBN 10: 3319296272 ISBN 13: 9783319296272
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the lecture notes of the five coursesand one seminar given at the School on Engineering Trustworthy Software Systems(SETSS 2014), held in September 2014 at Southwest University in Chongqing,China.The material is useful for postgraduate students,researchers, academics and industrial engineers who are interested in thetheory and practice of methods and tools for the design and programming oftrustworthy software systems. The common themes of the courses include thedesign and use of theories, techniques and tools for software specification andmodeling, analysis and verification. The courses cover sequential programming,component- and object software, hybrid systems and cyber-physical systems withchallenges of termination, security, safety, security, fault-tolerance andreal-time requirements. The techniques include model checking, correctness byconstruction through refinement and model transformations, synthesis andcomputer algebra.
Da: preigu, Osnabrück, Germania
EUR 50,35
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Engineering Trustworthy Software Systems | First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures | Zhiming Liu (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2016 | Springer | EAN 9783319296272 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 46,22
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Lingua: Inglese
Editore: Springer International Publishing Mrz 2016, 2016
ISBN 10: 3319296272 ISBN 13: 9783319296272
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the lecture notes of the five coursesand one seminar given at the School on Engineering Trustworthy Software Systems(SETSS 2014), held in September 2014 at Southwest University in Chongqing,China.The material is useful for postgraduate students,researchers, academics and industrial engineers who are interested in thetheory and practice of methods and tools for the design and programming oftrustworthy software systems. The common themes of the courses include thedesign and use of theories, techniques and tools for software specification andmodeling, analysis and verification. The courses cover sequential programming,component- and object software, hybrid systems and cyber-physical systems withchallenges of termination, security, safety, security, fault-tolerance andreal-time requirements. The techniques include model checking, correctness byconstruction through refinement and model transformations, synthesis andcomputer algebra. 340 pp. Englisch.
Da: Majestic Books, Hounslow, Regno Unito
EUR 82,11
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 336.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 78,65
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 336.
Lingua: Inglese
Editore: Springer International Publishing, 2016
ISBN 10: 3319296272 ISBN 13: 9783319296272
Da: moluna, Greven, Germania
EUR 48,37
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Covers the state of the art and research insights onengineering trustworthy software systems A detailed preface, introducing the chapters, is included inthe front matter and is freely available for perusal on SpringerLink .
Lingua: Inglese
Editore: Springer, Springer Mär 2016, 2016
ISBN 10: 3319296272 ISBN 13: 9783319296272
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the lecture notes of the five coursesand one seminar given at the School on Engineering Trustworthy Software Systems(SETSS 2014), held in September 2014 at Southwest University in ChongqingChina.The material is useful for postgraduate studentsresearchers, academics and industrial engineers who are interested in thetheory and practice of methods and tools for the design and programming oftrustworthy software systems. The common themes of the courses include thedesign and use of theories, techniques and tools for software specification andmodeling, analysis and verification. The courses cover sequential programmingcomponent- and object software, hybrid systems and cyber-physical systems withchallenges of termination, security, safety, security, fault-tolerance andreal-time requirements. The techniques include model checking, correctness byconstruction through refinement and model transformations, synthesis andcomputer algebra.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 340 pp. Englisch.