Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 52,32
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 61,04
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 60,47
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 56,59
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,33
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 59,53
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 68,72
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 66,44
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2017
ISBN 10: 3319661752 ISBN 13: 9783319661759
Librería: Revaluation Books, Exeter, Reino Unido
EUR 78,23
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 224 pages. 9.25x6.10x0.51 inches. In Stock.
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
EUR 85,98
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319661752 ISBN 13: 9783319661759
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 proceedings of the 11th International Conference International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017. The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions.The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance and dependability evalu-ation 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 verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and dis-tributed hardware/software systems.
Librería: preigu, Osnabrück, Alemania
EUR 50,35
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Verification and Evaluation of Computer and Communication Systems | 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings | Kamel Barkaoui (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2017 | Springer | EAN 9783319661759 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: Buchpark, Trebbin, Alemania
EUR 49,64
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | ¿This book constitutes the proceedings of the 11th International Conference International Conference on Veri¿cation and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017. The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions.The aim of the VECoS conference is to bring together researchers and practitioners in the areas of veri¿cation, control, performance and dependability evalu-ation 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 dis-tributed hardware/software systems.
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 Aug 2017, 2017
ISBN 10: 3319661752 ISBN 13: 9783319661759
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 proceedings of the 11th International Conference International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017. The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions.The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance and dependability evalu-ation 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 verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and dis-tributed hardware/software systems. 224 pp. Englisch.
Idioma: Inglés
Publicado por Springer International Publishing, 2017
ISBN 10: 3319661752 ISBN 13: 9783319661759
Librería: moluna, Greven, Alemania
EUR 48,37
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 proceedings of the 11th International Conference International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017.
Idioma: Inglés
Publicado por Springer, Springer Aug 2017, 2017
ISBN 10: 3319661752 ISBN 13: 9783319661759
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 -Distributed computing models.-Formal languages and automata theory.-Concurrency.-Probabilistic computation.- Timed and hybrid models.-Formal software verification.-Model verification and validation.-Performance evaluation.- Control methods.- Modeling methodologies.- Model development and analysis.- Modeling and simulation.-Formal mehods.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 224 pp. Englisch.