Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 52,58
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 60,83
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 59,91
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 56,75
Cantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 59,70
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 79,06
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 235.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 66,39
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 76,45
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 248 pages. 9.25x6.10x0.56 inches. In Stock.
Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 104,66
Cantidad disponible: 5 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Librería: Books From California, Simi Valley, CA, Estados Unidos de America
EUR 113,25
Cantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Good. Damage on front cover. Pages are clean, text intact and unmarred.
Idioma: Inglés
Publicado por Springer International Publishing, Springer International Publishing, 2016
ISBN 10: 3319403699 ISBN 13: 9783319403694
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 117,86
Cantidad disponible: 10 disponibles
Añadir al carritoCondición: New.
Librería: preigu, Osnabrück, Alemania
EUR 50,35
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: 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 | Lecture Notes in Computer Science | 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.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 124,11
Cantidad disponible: 10 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 142,39
Cantidad disponible: 10 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 147,37
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 142,19
Cantidad disponible: 10 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
EUR 144,16
Cantidad disponible: 1 disponibles
Añadir al carritoHardback. Condición: New. New copy - Usually dispatched within 4 working days.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 167,50
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: New. 1st edition NO-PA16APR2015-KAP.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 161,77
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 169,24
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por TAYLOR & FRANCIS NP EXCLUSIVE(CBS), 2025
ISBN 10: 0367554011 ISBN 13: 9780367554019
Librería: UK BOOKS STORE, London, LONDO, Reino Unido
EUR 204,57
Cantidad disponible: 12 disponibles
Añadir al carritoCondición: New. Brand New ! Fast Delivery "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 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 205,37
Cantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 366 pages. 9.18x6.12x9.21 inches. In Stock.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 46,22
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Idioma: Inglés
Publicado por Springer International Publishing Jun 2016, 2016
ISBN 10: 3319403699 ISBN 13: 9783319403694
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 77,64
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 235.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 79,45
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 235.
Idioma: Inglés
Publicado por Springer International Publishing, 2016
ISBN 10: 3319403699 ISBN 13: 9783319403694
Librería: moluna, Greven, Alemania
EUR 48,37
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: 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.
Idioma: Inglés
Publicado por Springer, Springer Jun 2016, 2016
ISBN 10: 3319403699 ISBN 13: 9783319403694
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. 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 KG, Sachsenplatz 4-6, 1201 Wien 248 pp. Englisch.
Idioma: Inglés
Publicado por Taylor & Francis Ltd, London, 2025
ISBN 10: 0367554011 ISBN 13: 9780367554019
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 120,19
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: 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.