Lingua: Inglese
Editore: VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 3836428199 ISBN 13: 9783836428194
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 47,40
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: VDM Verlag Dr. Mueller E.K. 12/18/2007, 2007
ISBN 10: 3836428199 ISBN 13: 9783836428194
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Paperback or Softback. Condizione: New. Specification and Analysis of Software Architectures. Book.
Lingua: Inglese
Editore: VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 3836428199 ISBN 13: 9783836428194
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 47,23
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Lingua: Inglese
Editore: VDM Verlag Dr. Mueller e.K. 2007-12-18, 2007
ISBN 10: 3836428199 ISBN 13: 9783836428194
Da: Chiron Media, Wallingford, Regno Unito
EUR 44,70
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Lingua: Inglese
Editore: VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 3836428199 ISBN 13: 9783836428194
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 47,22
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Condizione: New.
Lingua: Inglese
Editore: VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 3836428199 ISBN 13: 9783836428194
Da: moluna, Greven, Germania
EUR 52,63
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: VDM Verlag Dr. Mueller E.K. Dez 2007, 2007
ISBN 10: 3836428199 ISBN 13: 9783836428194
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 63,65
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Lingua: Inglese
Editore: VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 3836428199 ISBN 13: 9783836428194
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 123,68
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: VDM Verlag Dr. Mueller e.K., 2007
ISBN 10: 3836428199 ISBN 13: 9783836428194
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 114,18
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
Lingua: Inglese
Editore: VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 3836428199 ISBN 13: 9783836428194
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 145,00
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 3836428199 ISBN 13: 9783836428194
Da: PBShop.store US, Wood Dale, IL, U.S.A.
EUR 50,67
Quantità: Più di 20 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Lingua: Inglese
Editore: VDM Verlag Dr. Mueller E.K., 2007
ISBN 10: 3836428199 ISBN 13: 9783836428194
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
EUR 49,43
Quantità: Più di 20 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Lingua: Inglese
Editore: AV Akademikerverlag Jun 2012, 2012
ISBN 10: 3639421213 ISBN 13: 9783639421217
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 49,00
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: Majestic Books, Hounslow, Regno Unito
EUR 77,56
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Da: moluna, Greven, Germania
EUR 39,24
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 79,12
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND.
Lingua: Inglese
Editore: AV Akademikerverlag Jun 2012, 2012
ISBN 10: 3639421213 ISBN 13: 9783639421217
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 49,00
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 49,00
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.