Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Condition: New.
Condition: New. pp. 496.
Condition: New.
Condition: New.
Condition: New. pp. 496 Figure, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Condition: New. pp. 496.
Condition: As New. Unread book in perfect condition.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 66.46
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 66.46
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 66.46
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 63.77
Quantity: Over 20 available
Add to basketCondition: New.
PF. Condition: New.
Paperback. Condition: New.
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 66.45
Quantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 66.45
Quantity: Over 20 available
Add to basketCondition: New.
Condition: New. pp. 124.
Condition: New. pp. xvi + 304.
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 75.46
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Published by Springer-Verlag New York Inc, 2020
ISBN 10: 3030350916 ISBN 13: 9783030350918
Language: English
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 128 pages. 9.25x6.10x0.28 inches. In Stock.
Condition: New.
Published by Springer International Publishing, Springer Nature Switzerland Nov 2019, 2019
ISBN 10: 3030350916 ISBN 13: 9783030350918
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. Neuware -This book constitutes the proceedings of the 13th International Conference on Veri¿cation and Evaluation of Computer and Communication Systems ( VECoS 2019), held in Porto, Portugal, in October 2019.The 7 full papers in this volume, presented together with two invited talks, were carefully reviewed and selected from 13 submissions.The aim of the VECoS conference is to bring together researchers and practitioners in the areas of veri¿cation, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal veri¿cation and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Englisch.
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 2013, 2013
ISBN 10: 3642407927 ISBN 13: 9783642407925
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, held in Toulouse, France, in September 2013.The 20 revised full papers presented together with 5 practical experience reports were carefully reviewed and selected from more than 88 submissions. The papers are organized in topical sections on safety requirements and assurance, testing and verification, security, software reliability assessment, practical experience reports and tools, safety assurance in automotive, error control codes, dependable user interfaces, and hazard and failure mode analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2005, 2005
ISBN 10: 3540257233 ISBN 13: 9783540257233
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. Neuware -It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in the eld of dependability in the European research area. Budapest was selected as the host of this conference due to its traditions in organizing international scienti c events and its traditional role of serving as a meeting point between East and West. EDCC-5 was the fth in the series of these high-quality scienti c conf- ences. In addition to the overall signi cance of such a pan-European event, this year¿s conference was a special one due to historic reasons. The roots of EDCC date back to the moment when the Iron Curtain fell. Originally, two groups of scientists from di erent European countries in Western and Eastern Europe ¿ who were active in research and education related to dependability created a ¿ joint forum in order to merge their communities as early as in 1989. This trend has continued up to today. This year¿s conference was the rst one where the overwhelming majority of the research groups belong to the family of European nations united in the European Union. During the past 16 years we observed that the same roots in all the professional, cultural and scienti c senses led to a seamless integration of these research communities previously separated ar- cially for a long time. EDCC has become one of the main European platforms to exchange new - searchideasinthe eldofdependability. 496 pp. Englisch.