Idioma: Inglés
Publicado por VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 3836428199 ISBN 13: 9783836428194
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 47,40
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por VDM Verlag Dr. Mueller E.K. 12/18/2007, 2007
ISBN 10: 3836428199 ISBN 13: 9783836428194
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 49,75
Cantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Specification and Analysis of Software Architectures. Book.
Idioma: Inglés
Publicado por VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 3836428199 ISBN 13: 9783836428194
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 47,23
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Idioma: Inglés
Publicado por VDM Verlag Dr. Mueller e.K. 2007-12-18, 2007
ISBN 10: 3836428199 ISBN 13: 9783836428194
Librería: Chiron Media, Wallingford, Reino Unido
EUR 44,70
Cantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
Idioma: Inglés
Publicado por VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 3836428199 ISBN 13: 9783836428194
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 47,22
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 78,43
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 3836428199 ISBN 13: 9783836428194
Librería: moluna, Greven, Alemania
EUR 52,63
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por VDM Verlag Dr. Mueller E.K. Dez 2007, 2007
ISBN 10: 3836428199 ISBN 13: 9783836428194
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 63,65
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware - Due to the increasing complexity of software systems, it becomes extremely difficult to develop these systems and ensure their dependability. Software architectures, as the highest level abstraction of software systems, are critical and essential in the overall software development process. A software architecture description enables us to record crucial design decisions on important aspects of a system, and to analyze and detect costly design mistakes before the system is implemented and deployed. This study examines how software architectures can be modeled and specified in a rigorous and unambiguous way, and how the model can be analyzed using well established formal methods. This book studies both functional properties including safety and liveness as well as non-functional properties such as performance, reliability, and availability. This book also presents a framework to facilitate the modeling and analysis tasks. This book is addressed to researchers in software architecture and formal specification and analysis; as well as to software practitioners involved in software architecture design.
Idioma: Inglés
Publicado por VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 3836428199 ISBN 13: 9783836428194
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 123,68
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por VDM Verlag Dr. Mueller e.K., 2007
ISBN 10: 3836428199 ISBN 13: 9783836428194
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 114,18
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. Like New. book.
Idioma: Inglés
Publicado por VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 3836428199 ISBN 13: 9783836428194
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 145,06
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 3836428199 ISBN 13: 9783836428194
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
EUR 50,67
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Idioma: Inglés
Publicado por VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 3836428199 ISBN 13: 9783836428194
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
EUR 49,43
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Idioma: Inglés
Publicado por AV Akademikerverlag Jun 2012, 2012
ISBN 10: 3639421213 ISBN 13: 9783639421217
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 49,00
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Revision with unchanged content. Due to the increasing complexity of software systems, it becomes extremely difficult to develop these systems and ensure their dependability. Software architectures, as the highest level abstraction of software systems, are critical and essential in the overall software development process. A software architecture description enables us to record crucial design decisions on important aspects of a system, and to analyze and detect costly design mistakes before the system is implemented and deployed. This study examines how software architectures can be modeled and specified in a rigorous and unambiguous way, and how the model can be analyzed using well established formal methods. This book studies both functional properties including safety and liveness as well as non-functional properties such as performance, reliability, and availability. This book also presents a framework to facilitate the modeling and analysis tasks. This book is addressed to researchers in software architecture and formal specification and analysis; as well as to software practitioners involved in software architecture design. 124 pp. Englisch.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 77,56
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand.
Librería: moluna, Greven, Alemania
EUR 39,24
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. Autor/Autorin: Shi TianjunTianjun Shi received his Ph.D. in Computer Science from Florida International University (FIU) in 2006. He currently works at Microsoft. Xudong He received the Ph.D. degree in Computer Science from Virginia Tech in 1989. H.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 79,12
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND.
Idioma: Inglés
Publicado por AV Akademikerverlag Jun 2012, 2012
ISBN 10: 3639421213 ISBN 13: 9783639421217
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 49,00
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Revision with unchanged content. Due to the increasing complexity of software systems, it becomes extremely difficult to develop these systems and ensure their dependability. Software architectures, as the highest level abstraction of software systems, are critical and essential in the overall software development process. A software architecture description enables us to record crucial design decisions on important aspects of a system, and to analyze and detect costly design mistakes before the system is implemented and deployed. This study examines how software architectures can be modeled and specified in a rigorous and unambiguous way, and how the model can be analyzed using well established formal methods. This book studies both functional properties including safety and liveness as well as non-functional properties such as performance, reliability, and availability. This book also presents a framework to facilitate the modeling and analysis tasks. This book is addressed to researchers in software architecture and formal specification and analysis; as well as to software practitioners involved in software architecture design.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 124 pp. Englisch.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 49,00
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Revision with unchanged content. Due to the increasing complexity of software systems, it becomes extremely difficult to develop these systems and ensure their dependability. Software architectures, as the highest level abstraction of software systems, are critical and essential in the overall software development process. A software architecture description enables us to record crucial design decisions on important aspects of a system, and to analyze and detect costly design mistakes before the system is implemented and deployed. This study examines how software architectures can be modeled and specified in a rigorous and unambiguous way, and how the model can be analyzed using well established formal methods. This book studies both functional properties including safety and liveness as well as non-functional properties such as performance, reliability, and availability. This book also presents a framework to facilitate the modeling and analysis tasks. This book is addressed to researchers in software architecture and formal specification and analysis; as well as to software practitioners involved in software architecture design.