Zustand: As New. Unread book in perfect condition.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 58,87
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 57,04
Anzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 58,86
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Books From California, Simi Valley, CA, USA
hardcover. Zustand: Good. Damage on front cover. Pages are clean, text intact and unmarred.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 66,76
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 77,87
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 248 pages. 9.25x6.10x0.56 inches. In Stock.
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2016
ISBN 10: 3319403699 ISBN 13: 9783319403694
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conferenceproceedings of the13th International Workshop on Coalgebraic Methods in Computer Science,CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands,in April 2016.The 10 revised full papers were carefully reviewed and selected from 13submissions. Also included are an invited paper and two keynote talks. The papers cover awide range of topics in the theory, logics and applications ofcoalgebras.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing Jun 2016, 2016
ISBN 10: 3319403699 ISBN 13: 9783319403694
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in April 2016.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. 1st edition NO-PA16APR2015-KAP.
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: New.
Taschenbuch. Zustand: Neu. Coalgebraic Methods in Computer Science | 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers | Ichiro Hasuo | Taschenbuch | ix | Englisch | 2016 | Springer | EAN 9783319403694 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 122,31
Anzahl: 4 verfügbar
In den WarenkorbZustand: New.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 124,75
Anzahl: 10 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: As New. Unread book in perfect condition.
Zustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 146,20
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 143,00
Anzahl: 10 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
EUR 144,61
Anzahl: 1 verfügbar
In den WarenkorbHardback. Zustand: New. New copy - Usually dispatched within 4 working days.
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 166,03
Anzahl: Mehr als 20 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Sprache: Englisch
Verlag: TAYLOR & FRANCIS NP EXCLUSIVE(CBS), 2025
ISBN 10: 0367554011 ISBN 13: 9780367554019
Anbieter: UK BOOKS STORE, London, LONDO, Vereinigtes Königreich
EUR 207,98
Anzahl: 11 verfügbar
In den WarenkorbZustand: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-12 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 209,20
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 366 pages. 9.18x6.12x9.21 inches. In Stock.
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
EUR 46,22
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new. Questo è un articolo print on demand.
Sprache: Englisch
Verlag: Springer International Publishing Jun 2016, 2016
ISBN 10: 3319403699 ISBN 13: 9783319403694
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conferenceproceedings of the13th International Workshop on Coalgebraic Methods in Computer Science,CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands,in April 2016.The 10 revised full papers were carefully reviewed and selected from 13submissions. Also included are an invited paper and two keynote talks. The papers cover awide range of topics in the theory, logics and applications ofcoalgebras. 248 pp. Englisch.
Sprache: Englisch
Verlag: Springer International Publishing, 2016
ISBN 10: 3319403699 ISBN 13: 9783319403694
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in Ap.
Sprache: Englisch
Verlag: Taylor & Francis Ltd, London, 2025
ISBN 10: 0367554011 ISBN 13: 9780367554019
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Hardcover. Zustand: new. Hardcover. Safety assurance of software systems has never been as imminent a problem as it is today. Practitioners and researchers who work on the problem face a challenge unique to modern software systems: uncertainties. For one, the cyber-physical nature of modern software systems as exemplified by automated driving systems mandates environmental uncertainties to be addressed and the resulting hazards to be mitigated. Besides, the abundance of statistical machine-learning components massive numerical computing units for statistical reasoning such as deep neural networks make systems hard to explain, understand, analyze or verify.The book is the first to provide a comprehensive overview of such united and interdisciplinary efforts. Driven by automated driving systems as a leading example, the book describes diverse techniques to specify, model, test, analyze, and verify modern software systems. Coming out of a collaboration between industry and basic academic research, the book covers both practical analysis techniques (readily applicable to existing systems) and more long-range design techniques (that call for new designs but bring a greater degree of assurance).The book provides high-level intuitions and use-cases of each technique, rather than technical details, with plenty of pointers for interested readers. Modern software systems operate under an unprecedented degree of uncertainties, making them hard to specify, model, test, analyze, and verify. Safety assurance of such systems requires efforts that unite different disciplines such as formal methods, software science, software engineering, control theory, machine learning. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.