Order Total (1 Item Items):
Shipping Destination:
Romanovsky Alexander Troubitsyna Elena (59 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (59)
- 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 (47)
- As New, Fine or Near Fine (7)
- Very Good or Good (4)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (59)
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (32)
- Not Print on Demand (45)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
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!
-
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. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Condition: As New. Unread book in perfect condition.
-
-
Condition: As New. Unread book in perfect condition.
-
Condition: New.
-
Condition: As New. Unread book in perfect condition.
-
PF. Condition: New.
-
-
Software Engineering for Resilient Systems : 9th International Workshop, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Rigorous Development of Complex Fault-Tolerant Systems
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Methods, Models and Tools for Fault Tolerance
Language: English
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3642008666 ISBN 13: 9783642008665
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -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 the Integrated Formal Methods 2007 Conference at Oxford University. 352 pp. Englisch.
-
Condition: New. pp. viii + 343 1st Edition.
-
-
Computer Safety, Reliability, and Security : 38th International Conference, Safecomp 2019, Turku, Finland, September 11-13, 2019, Proceedings
Book 128 of 300: Lecture Notes in Computer ScienceSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Rigorous Development of Complex Fault-Tolerant Systems
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Software Engineering for Resilient Systems : 9th International Workshop, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
-
Software Engineering for Resilient Systems: 9th International Workshop, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2017
ISBN 10: 3319659472 ISBN 13: 9783319659473
Paperback. Condition: Brand New. 216 pages. 9.25x6.10x0.71 inches. In Stock.
-
Computer Safety, Reliability, and Security : 38th International Conference, Safecomp 2019, Turku, Finland, September 11-13, 2019, Proceedings
Book 128 of 300: Lecture Notes in Computer ScienceSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
-
Methods, Models And Tools For Fault Tolerance
Language: English
Published by Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2009
ISBN 10: 3642008666 ISBN 13: 9783642008665
Paperback. Condition: Brand New. 1st edition. 343 pages. 9.21x6.06x0.79 inches. In Stock.
-
Software Engineering for Resilient Systems
Language: English
Published by Springer International Publishing, 2017
ISBN 10: 3319659472 ISBN 13: 9783319659473
Kartoniert / Broschiert. Condition: New.
-
Computer Safety, Reliability, and Security: 38th International Conference, Safecomp 2019, Turku, Finland, September 11-13, 2019, Proceedings
Book 128 of 300: Lecture Notes in Computer ScienceLanguage: English
Published by Springer-Verlag New York Inc, 2019
ISBN 10: 3030266001 ISBN 13: 9783030266004
Paperback. Condition: Brand New. 340 pages. 9.25x6.10x0.71 inches. In Stock.
-
Software Engineering for Resilient Systems
Language: English
Published by Springer International Publishing, Springer International Publishing Aug 2017, 2017
ISBN 10: 3319659472 ISBN 13: 9783319659473
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.
-
Methods, Models and Tools for Fault Tolerance
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2009, 2009
ISBN 10: 3642008666 ISBN 13: 9783642008665
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.
-
Software Engineering for Resilient Systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4¿5, 2017, Proceedings
Language: English
Published by Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319659472 ISBN 13: 9783319659473
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. Druck auf Anfrage Neuware - Printed after ordering - 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.
