Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by The MIT Press, 2015
ISBN 10: 0262029111ISBN 13: 9780262029117
Seller: Dream Books Co., Denver, CO, U.S.A.
Book
Condition: good. Minimal signs of wear. Corners and cover may show wear. May contain highlighting and or writing. May be missing dust jacket. May not include supplemental materials. May be a former library book.
Published by MIT Press, 2015
ISBN 10: 0262029111ISBN 13: 9780262029117
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Book
Condition: Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
Published by The MIT Press, 2015
ISBN 10: 0262029111ISBN 13: 9780262029117
Seller: Books Unplugged, Amherst, NY, U.S.A.
Book
Condition: Fair. Buy with confidence! Book is in acceptable condition with wear to the pages, binding, and some marks within.
Published by The MIT Press, 2015
ISBN 10: 0262029111ISBN 13: 9780262029117
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Book
Condition: Good. Book is in Used-Good condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain limited notes and highlighting.
Published by The MIT Press, 2015
ISBN 10: 0262029111ISBN 13: 9780262029117
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book
Condition: New. In.
The M.I.T. Press, Cambridge 2015. xii, 446 pp. Soft cover. Fine condition.
Published by The MIT Press, 2015
ISBN 10: 0262029111ISBN 13: 9780262029117
Seller: Byrd Books, Austin, TX, U.S.A.
Book
Hardcover. Condition: very good. In Used Condition.
Published by MIT Press, 2023
ISBN 10: 0262548925ISBN 13: 9780262548922
Seller: Books Unplugged, Amherst, NY, U.S.A.
Book
Condition: Fair. Buy with confidence! Book is in acceptable condition with wear to the pages, binding, and some marks within.
Published by MIT Press, 2023
ISBN 10: 0262548925ISBN 13: 9780262548922
Seller: Book Deals, Tucson, AZ, U.S.A.
Book
Condition: Fair. Acceptable/Fair condition. Book is worn, but the pages are complete, and the text is legible. Has wear to binding and pages, may be ex-library.
Published by MIT Press, 2023
ISBN 10: 0262548925ISBN 13: 9780262548922
Seller: Book Deals, Tucson, AZ, U.S.A.
Book
Condition: Good. Good condition. This is the average used book, that has all pages or leaves present, but may include writing. Book may be ex-library with stamps and stickers.
Published by MIT Press, 2023
ISBN 10: 0262548925ISBN 13: 9780262548922
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Book
Condition: Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting.
Published by MIT Press, 2023
ISBN 10: 0262548925ISBN 13: 9780262548922
Seller: Book Deals, Tucson, AZ, U.S.A.
Book
Condition: Very Good. Very Good condition. Shows only minor signs of wear, and very minimal markings inside (if any).
Published by MIT Press, 2023
ISBN 10: 0262548925ISBN 13: 9780262548922
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Book
Condition: Fine. Book is in Used-LikeNew condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear.
Published by MIT Press, 2023
ISBN 10: 0262548925ISBN 13: 9780262548922
Seller: Book Deals, Tucson, AZ, U.S.A.
Book
Condition: Fine. Like New condition. Great condition, but not exactly fully crisp. The book may have been opened and read, but there are no defects to the book, jacket or pages.
Published by MIT Press, 2023
ISBN 10: 0262548925ISBN 13: 9780262548922
Seller: Books Unplugged, Amherst, NY, U.S.A.
Book
Condition: New. Buy with confidence! Book is in new, never-used condition.
Published by MIT Press, 2023
ISBN 10: 0262548925ISBN 13: 9780262548922
Seller: Book Deals, Tucson, AZ, U.S.A.
Book
Condition: New. New! This book is in the same immaculate condition as when it was published.
Published by MIT Press, 2023
ISBN 10: 0262548925ISBN 13: 9780262548922
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by MIT Press, 2023
ISBN 10: 0262548925ISBN 13: 9780262548922
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book Print on Demand
Soft Cover. Condition: new. This item is printed on demand.
Published by Penguin Random House LLC, 2023
ISBN 10: 0262548925ISBN 13: 9780262548922
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Book Print on Demand
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Published by MIT Press, 2023
ISBN 10: 0262548925ISBN 13: 9780262548922
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by The MIT Press, 2015
ISBN 10: 0262029111ISBN 13: 9780262029117
Seller: Wizard Books, Long Beach, CA, U.S.A.
Book
Hardcover. Condition: new. New.
Published by MIT Press Ltd, 2023
ISBN 10: 0262548925ISBN 13: 9780262548922
Seller: Grand Eagle Retail, Wilmington, DE, U.S.A.
Book
Paperback. Condition: new. Paperback. A cyber-physical system consists of a collection of computing devices communicating with one another and interacting with the physical world via sensors and actuators in a feedback loop. Increasingly, such systems are everywhere, from smart buildings to medical devices to automobiles. This textbook offers a rigorous and comprehensive introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems. The book draws on a diverse set of subdisciplines, including model-based design, concurrency theory, distributed algorithms, formal methods of specification and verification, control theory, real-time systems, and hybrid systems, explaining the core ideas from each that are relevant to system design and analysis.The book explains how formal models provide mathematical abstractions to manage the complexity of a system design. It covers both synchronous and asynchronous models for concurrent computation, continuous-time models for dynamical systems, and hybrid systems for integrating discrete and continuous evolution. The role of correctness requirements in the design of reliable systems is illustrated with a range of specification formalisms and the associated techniques for formal verification. The topics include safety and liveness requirements, temporal logic, model checking, deductive verification, stability analysis of linear systems, and real-time scheduling algorithms. Principles of modeling, specification, and analysis are illustrated by constructing solutions to representative design problems from distributed algorithms, network protocols, control design, and robotics.This book provides the rapidly expanding field of cyber-physical systems with a long-needed foundational text by an established authority. It is suitable for classroom use or as a reference for professionals.A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems.A cyber-physical system consists of a collection of computing devices communicating with one another and interacting with the physical world via sensors and actuators in a feedback loop. Increasingly, such systems are everywhere, from smart buildings to medical devices to automobiles. This textbook offers a rigorous and comprehensive introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems. The book draws on a diverse set of subdisciplines, including model-based design, concurrency theory, distributed algorithms, formal methods of specification and verification, control theory, real-time systems, and hybrid systems, explaining the core ideas from each that are relevant to system design and analysis.The book explains how formal models provide mathematical abstractions to manage the complexity of a system design. It covers both synchronous and asynchronous models for concurrent computation, continuous-time models for dynamical systems, and hybrid systems for integrating discrete and continuous evolution. The role of correctness requirements in the design of reliable systems is illustrated with a range of specification formalisms and the associated techniques for formal verification. The topics include safety and liveness requirements, temporal logic, model checking, deductive verification, stability analysis of linear systems, and real-time scheduling algorithms. Principles of modeling, specification, and analysis are illustrated by constructing solutions to representative design problems from distributed algorithms, network protocols, control design, and robotics.This book provides the rapidly expanding field of cyber-physical systems with a long-needed foundational text by an established authority. It is suitable for classroom use or as a reference for professionals. A foundational text that offers a rigorous introd Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Published by MIT Press, 2023
ISBN 10: 0262548925ISBN 13: 9780262548922
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by MIT Press Ltd, 2023
ISBN 10: 0262548925ISBN 13: 9780262548922
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Book Print on Demand
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Published by The MIT Press, 2015
ISBN 10: 0262029111ISBN 13: 9780262029117
Seller: Front Cover Books, Denver, CO, U.S.A.
Book
Condition: new.
Published by MIT Press, 2023
ISBN 10: 0262548925ISBN 13: 9780262548922
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: As New. Unread book in perfect condition.
Published by Penguin Random House LLC, 2023
ISBN 10: 0262548925ISBN 13: 9780262548922
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Book Print on Demand
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Published by Mit Pr, 2023
ISBN 10: 0262548925ISBN 13: 9780262548922
Seller: Revaluation Books, Exeter, United Kingdom
Book
Paperback. Condition: Brand New. 464 pages. 9.00x7.00x1.04 inches. In Stock.
Published by The MIT Press, 2015
ISBN 10: 0262029111ISBN 13: 9780262029117
Seller: GoldBooks, Denver, CO, U.S.A.
Book
Hardcover. Condition: new. New Copy. Customer Service Guaranteed.
Published by The MIT Press, 2015
ISBN 10: 0262029111ISBN 13: 9780262029117
Seller: Save With Sam, North Miami, FL, U.S.A.
Book
Hardcover. Condition: New. Brand New!.