Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Condition: As New. Unread book in perfect condition.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.80
Quantity: Over 20 available
Add to basketCondition: New. In.
Paperback. Condition: New.
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New.
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer-Verlag New York Inc, 2017
ISBN 10: 3319659472 ISBN 13: 9783319659473
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 216 pages. 9.25x6.10x0.71 inches. In Stock.
Condition: New.
Language: English
Published by Springer International Publishing, 2017
ISBN 10: 3319659472 ISBN 13: 9783319659473
Seller: moluna, Greven, Germany
Kartoniert / Broschiert. Condition: New.
Language: English
Published by Springer-Verlag New York Inc (C), 2011
ISBN 10: 3642241239 ISBN 13: 9783642241239
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 2011 edition. 175 pages. 9.25x6.00x0.50 inches. In Stock.
Language: English
Published by Springer Berlin Heidelberg, 2011
ISBN 10: 3642241239 ISBN 13: 9783642241239
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011, held in Geneva, Switzerland, in September 2011.The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from numerous submissions. The papers address all aspects of formal modeling and verification, architecting resilient systems, fault tolerance, requirements engineering and product lines, monitoring and self-adaption, and security and intrusion avoidance.
Language: English
Published by Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319659472 ISBN 13: 9783319659473
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017. The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, resilience and robustness software.
Taschenbuch. Condition: Neu. Integrated Formal Methods | 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings | Brijesh Dongol (u. a.) | Taschenbuch | xi | Englisch | 2020 | Springer | EAN 9783030634605 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Condition: Neu. Software Engineering for Resilient Systems | 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings | Alexander Romanovsky (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2017 | Springer | EAN 9783319659473 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Condition: Neu. Software Engineering for Resilient Systems | 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings | Ivica Crnkovic (u. a.) | Taschenbuch | Lecture Notes in Computer Science | ix | Englisch | 2016 | Springer | EAN 9783319458915 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Condition: Neu. Methods, Models and Tools for Fault Tolerance | Michael Butler (u. a.) | Taschenbuch | viii | Englisch | 2009 | Springer | EAN 9783642008665 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Paperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Taschenbuch. Condition: Neu. Computer Safety, Reliability, and Security | 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings | Alexander Romanovsky (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxi | Englisch | 2019 | Springer | EAN 9783030266004 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Condition: Neu. Computer Safety, Reliability, and Security | SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings | Alexander Romanovsky (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2019 | Springer | EAN 9783030262495 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011, held in Geneva, Switzerland, in September 2011. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from numerous submissions. The papers address all aspects of formal modeling and verification, architecting resilient systems, fault tolerance, requirements engineering and product lines, monitoring and self-adaption, and security and intrusion avoidance.
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new. Questo è un articolo print on demand.
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Springer Berlin Heidelberg Sep 2011, 2011
ISBN 10: 3642241239 ISBN 13: 9783642241239
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011, held in Geneva, Switzerland, in September 2011.The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from numerous submissions. The papers address all aspects of formal modeling and verification, architecting resilient systems, fault tolerance, requirements engineering and product lines, monitoring and self-adaption, and security and intrusion avoidance. 176 pp. Englisch.
Language: English
Published by Springer Berlin Heidelberg, 2011
ISBN 10: 3642241239 ISBN 13: 9783642241239
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Fast track conference proceedings Unique visibility State of the art researchFast track conference proceedingsUnique visibilityState of the art researchThis book constitutes the refereed proceedings of the T.