Order Total (1 Item Items):
Shipping Destination:
Troubitsyna Elena (155 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (155)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (133)
- As New, Fine or Near Fine (16)
- Very Good or Good (5)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Collectible Attributes
- First Edition (7)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (67)
- Not Print on Demand (117)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Condition: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
Methods Models and Tools in False Tolerance
Seller: Webbooks, Wigtown, Wigtown, United Kingdom
Association Member: PBFA
Seller rating 5 out of 5 stars
First Edition
Soft Cover. Condition: Good. No Jacket. First Edition. From an academic library with the usual stamps etc.
-
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Condition: New.
-
-
-
-
-
-
-
-
Integrated Formal Methods (Paperback)
Language: English
Published by Springer Nature Switzerland AG, Cham, 2020
ISBN 10: 3030634604 ISBN 13: 9783030634605
First Edition
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques. This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Methods, Models and Tools for Fault Tolerance (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2009
ISBN 10: 3642008666 ISBN 13: 9783642008665
Paperback. Condition: new. Paperback. The growing complexity of modern software systems increases the di?culty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, high dependability requirements that systems have to meet, as well as the complexity of infrastructures on which they rely make system design a true engineering challenge. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and veri?cation. Formal design methods help to achieve this. Coping with complexity also requires architectures that are t- erant of faults and of unpredictable changes in environment. This issue can be addressed by fault-tolerant design techniques. Therefore, there is a clear need of methods enabling rigorous modelling and development of complex fault-tolerant systems. This bookaddressessuchacuteissues indevelopingfault-tolerantsystemsas: Veri?cation and re?nement of fault-tolerant systems Integrated approaches to developing fault-tolerant systems Formal foundations for error detection, error recovery, exception and fault handling Abstractions, styles and patterns for rigorousdevelopment of fault tolerance Fault-tolerant software architectures Development and application of tools supporting rigorous design of depe- able systems Integrated platforms for developing dependable systems Rigorous approaches to speci?cation and design of fault tolerance in novel computing systems TheeditorsofthisbookwereinvolvedintheEU(FP-6)projectRODIN(R- orous Open Development Environment for Complex Systems), which brought together researchers from the fault tolerance and formal methods communi- 1 ties. In 2007 RODIN organized the MeMoT workshop held in conjunction with theIntegrated Formal Methods 2007 Conference at Oxford University. The complexity of modern software systems makes it difficult to ensure the dependability of software-intensive systems. This book is based on the workshop on Methods, Models and Tools for Fault Tolerance, MeMoT 2007, held in conjunction with the 6th international conference on Integrated Formal Methods, iFM 2007, in Oxford, UK, in July 2007. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
-
-
-
-
-
Condition: As New. Unread book in perfect condition.
-
Software Engineering for Resilient Systems (Paperback)
Language: English
Published by Springer International Publishing AG, Cham, 2016
ISBN 10: 3319458914 ISBN 13: 9783319458915
First Edition
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following areas: development of resilient systems; incremental development processes for resilient systems; requirements engineering and re-engineering for resilience; frameworks, patterns and software architectures for resilience; engineering of self-healing autonomic systems; design of trustworthy and intrusion-safe systems; resilience at run-time (mechanisms, reasoning and adaptation); resilience and dependability (resilience vs. robustness, dependable vs. adaptive systems); verification, validation and evaluation of resilience; modeling and model based analysis of resilience properties; formal and semi-formal techniques for verification and validation; experimental evaluations of resilient systems; quantitative approaches to ensuring resilience; resilience prediction; cast studies and applications; empirical studies in the domain of resilient systems; methodologies adopted in industrial contexts; cloud computing and resilient service provisioning; resilience for data-driven systems (e.g., big data-based adaption and resilience); resilient cyber-physical systems and infrastructures; global aspects of resilience engineering: education, training and cooperation. This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. resilience and dependability (resilience vs. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Software Engineering for Resilient Systems (Paperback)
Language: English
Published by Springer International Publishing AG, Cham, 2017
ISBN 10: 3319659472 ISBN 13: 9783319659473
First Edition
Paperback. Condition: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
-
-
-
Computer Safety, Reliability, and Security (Paperback)
Book 128 of 300: Lecture Notes in Computer ScienceLanguage: English
Published by Springer Nature Switzerland AG, Cham, 2019
ISBN 10: 3030266001 ISBN 13: 9783030266004
Paperback. Condition: new. Paperback. This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019.The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation. This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019.The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Software Engineering for Resilient Systems: Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011, Proceedings (Lecture Notes in Computer Science, 6968)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
