Librería: California Books, Miami, FL, Estados Unidos de America
EUR 66,74
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 66,85
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 74,67
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2020
ISBN 10: 3030587673 ISBN 13: 9783030587673
Librería: Revaluation Books, Exeter, Reino Unido
EUR 87,80
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 340 pages. 9.25x6.10x0.77 inches. In Stock.
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
EUR 93,88
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer International Publishing, 2020
ISBN 10: 3030587673 ISBN 13: 9783030587673
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 58,84
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering.
Librería: preigu, Osnabrück, Alemania
EUR 54,80
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Software Engineering and Formal Methods | 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings | Frank de Boer (u. a.) | Taschenbuch | xiv | Englisch | 2020 | Springer | EAN 9783030587673 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 109,98
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. New. book.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 50,23
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 Sep 2020, 2020
ISBN 10: 3030587673 ISBN 13: 9783030587673
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 58,84
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 340 pp. Englisch.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 89,07
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. XIV, 325 639 illus., 63 illus. in color.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 88,65
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. XIV, 325 639 illus., 63 illus. in color.
Idioma: Inglés
Publicado por Springer International Publishing, 2020
ISBN 10: 3030587673 ISBN 13: 9783030587673
Librería: moluna, Greven, Alemania
EUR 52,76
Cantidad disponible: Más de 20 disponibles
Añadir al carritoKartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.The 16 full papers presented together with 1 keynote tal.
Idioma: Inglés
Publicado por Springer, Palgrave Macmillan Sep 2020, 2020
ISBN 10: 3030587673 ISBN 13: 9783030587673
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 58,84
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 refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 340 pp. Englisch.