Seller: Basi6 International, Irving, TX, U.S.A.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Seller: Basi6 International, Irving, TX, U.S.A.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Seller: Basi6 International, Irving, TX, U.S.A.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Condition: New.
Condition: New.
Published by Springer, 2008
Language: English
Seller: Books in my Basket, New Delhi, India
US$ 146.47
Convert currencyQuantity: 1 available
Add to basketHardcover. Condition: New. ISBN:9780387744803.
Condition: As New. Unread book in perfect condition.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
US$ 178.51
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 184.03
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Seller: Buchpark, Trebbin, Germany
US$ 147.67
Convert currencyQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Seiten: 312 | Sprache: Englisch | Produktart: Bücher.
Published by ISTE Ltd and John Wiley & Sons Inc, London, 2011
ISBN 10: 184821314X ISBN 13: 9781848213142
Language: English
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
First Edition
Hardcover. Condition: new. Hardcover. Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms from the same editors introduce the underlying concepts, the associated design techniques and the related security issues. The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement. This book is more specifically intended for readers that wish to gain an overview of the application of formal methods in the design of distributed systems. Masters and PhD students, as well as engineers in industry, will find a global understanding of the techniques as well as references to the most up-to-date works in this area. Today distributed systems are increasingly present, for public software applications as well as critical systems, software applications as well as critical systems. Models and Analysis for Distributed Systems explores the state of the art of the formal methods for the analysis of distributed systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 186.73
Convert currencyQuantity: 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 192.65
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Published by ISTE Ltd and John Wiley and Sons Inc, 2011
ISBN 10: 184821314X ISBN 13: 9781848213142
Language: English
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
US$ 205.32
Convert currencyQuantity: 2 available
Add to basketHRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 203.53
Convert currencyQuantity: 2 available
Add to basketCondition: New. In.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 203.52
Convert currencyQuantity: 20 available
Add to basketCondition: New.
Published by ISTE Ltd. 2011-06-10, 2011
ISBN 10: 184821314X ISBN 13: 9781848213142
Language: English
Seller: Chiron Media, Wallingford, United Kingdom
US$ 208.10
Convert currencyQuantity: 2 available
Add to basketHardcover. Condition: New.
US$ 222.51
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. Brand new! Please provide a physical shipping address.
Published by Springer US, Springer US, 2010
ISBN 10: 1441945032 ISBN 13: 9781441945037
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
US$ 196.82
Convert currencyQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Scheduling in Distributed Computing Systems: Analysis, Design and Models intends to inculcate the innovative ideas for the scheduling aspect. Although the models in this bookare designed for distributed systems, the same information is applicable for any type of system (i.e., where distributed processing is required).Scheduling in Distributed Computing Systems: Analysis, Design and Models will dramatically improve the design and management of the processes for industry professionals. This book deals exclusively with the scheduling aspect, which finds little space in other distributed operating system books.Scheduling in Distributed Computing Systems: Analysis, Design and Models is structured for a professional audience composed of researchers and practitioners in industry. This book is also suitable as a reference for graduate-level students in management sciences, and computer science for distributed computing system classes.
Published by Springer US, Springer US, 2008
ISBN 10: 0387744800 ISBN 13: 9780387744803
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
US$ 199.38
Convert currencyQuantity: 1 available
Add to basketBuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Scheduling in Distributed Computing Systems: Analysis, Design and Models intends to inculcate the innovative ideas for the scheduling aspect. Although the models in this bookare designed for distributed systems, the same information is applicable for any type of system (i.e., where distributed processing is required).Scheduling in Distributed Computing Systems: Analysis, Design and Models will dramatically improve the design and management of the processes for industry professionals. This book deals exclusively with the scheduling aspect, which finds little space in other distributed operating system books.Scheduling in Distributed Computing Systems: Analysis, Design and Models is structured for a professional audience composed of researchers and practitioners in industry. This book is also suitable as a reference for graduate-level students in management sciences, and computer science for distributed computing system classes.
Published by ISTE Ltd and John Wiley & Sons Inc, 2011
ISBN 10: 184821314X ISBN 13: 9781848213142
Language: English
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
First Edition
US$ 225.90
Convert currencyQuantity: 15 available
Add to basketCondition: New. Today distributed systems are increasingly present, for public software applications as well as critical systems, software applications as well as critical systems. Models and Analysis for Distributed Systems explores the state of the art of the formal methods for the analysis of distributed systems. Editor(s): Haddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. Num Pages: 356 pages, Illustrations. BIC Classification: UYD. Category: (G) General (US: Trade). Dimension: 235 x 168 x 25. Weight in Grams: 666. . 2011. 1st Edition. Hardcover. . . . .
Published by ISTE Ltd and John Wiley and Sons Inc, GB, 2011
ISBN 10: 184821314X ISBN 13: 9781848213142
Language: English
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
US$ 242.77
Convert currencyQuantity: 1 available
Add to basketHardback. Condition: New. Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms - from the same editors - introduce the underlying concepts, the associated design techniques and the related security issues. The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement. This book is more specifically intended for readers that wish to gain an overview of the application of formal methods in the design of distributed systems. Master's and PhD students, as well as engineers in industry, will find a global understanding of the techniques as well as references to the most up-to-date works in this area.
US$ 215.57
Convert currencyQuantity: 2 available
Add to basketBuch. Condition: Neu. Neuware - Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms - from the same editors - introduce the underlying concepts, the associated design techniques and the related security issues. The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement. This book is more specifically intended for readers that wish to gain an overview of the application of formal methods in the design of distributed systems. Master's and PhD students, as well as engineers in industry, will find a global understanding of the techniques as well as references to the most up-to-date works in this area.
US$ 194.72
Convert currencyQuantity: 2 available
Add to basketGebunden. Condition: New. Today distributed systems are increasingly present, for public software applications as well as critical systems, software applications as well as critical systems. Models and Analysis for Distributed Systems explores the state of the art of the formal me.
Published by Iste/Hermes Science Pub, 2011
ISBN 10: 184821314X ISBN 13: 9781848213142
Language: English
Seller: Revaluation Books, Exeter, United Kingdom
US$ 248.37
Convert currencyQuantity: 2 available
Add to basketHardcover. Condition: Brand New. 1st edition. 368 pages. 9.50x6.50x1.00 inches. In Stock.
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 243.54
Convert currencyQuantity: 1 available
Add to basketHardcover. Condition: Like New. Like New. book.
Published by ISTE Ltd and John Wiley & Sons Inc, 2011
ISBN 10: 184821314X ISBN 13: 9781848213142
Language: English
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. Today distributed systems are increasingly present, for public software applications as well as critical systems, software applications as well as critical systems. Models and Analysis for Distributed Systems explores the state of the art of the formal methods for the analysis of distributed systems. Editor(s): Haddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. Num Pages: 356 pages, Illustrations. BIC Classification: UYD. Category: (G) General (US: Trade). Dimension: 235 x 168 x 25. Weight in Grams: 666. . 2011. 1st Edition. Hardcover. . . . . Books ship from the US and Ireland.
Seller: Revaluation Books, Exeter, United Kingdom
US$ 272.96
Convert currencyQuantity: 2 available
Add to basketHardcover. Condition: Brand New. 1st edition. 300 pages. 9.50x6.50x1.00 inches. In Stock.
Published by ISTE Ltd and John Wiley and Sons Inc, GB, 2011
ISBN 10: 184821314X ISBN 13: 9781848213142
Language: English
Seller: Rarewaves.com UK, London, United Kingdom
US$ 234.89
Convert currencyQuantity: 1 available
Add to basketHardback. Condition: New. Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms - from the same editors - introduce the underlying concepts, the associated design techniques and the related security issues. The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement. This book is more specifically intended for readers that wish to gain an overview of the application of formal methods in the design of distributed systems. Master's and PhD students, as well as engineers in industry, will find a global understanding of the techniques as well as references to the most up-to-date works in this area.