Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
EUR 15,26
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Very Good. 1991st Edition. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
Idioma: Inglés
Publicado por Springer (edition 1991), 1991
ISBN 10: 0792391667 ISBN 13: 9780792391661
Librería: BooksRun, Philadelphia, PA, Estados Unidos de America
EUR 15,27
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good. 1991. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience.
Librería: Better World Books Ltd, Dunfermline, Reino Unido
EUR 6,96
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. 1991st Edition. Ships from the UK. Used book that is in clean, average condition without any missing pages.
Idioma: Inglés
Publicado por Kluwer Academic Publishers, 1991
ISBN 10: 0792391667 ISBN 13: 9780792391661
Librería: Ammareal, Morangis, Francia
EUR 5,84
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations.
Idioma: Inglés
Publicado por Springer-Verlag New York Inc., New York, NY, 2012
ISBN 10: 1461367964 ISBN 13: 9781461367963
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 158,48
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This volume contains a selection of papers that focus on the state-of the-art in formal specification and verification of real-time computing systems. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by the Office of Naval Research in October, 1990 in Washington, D. C. A companion volume by the title Foundations of Real-Time Computing: Scheduling and Resource Management complements this hook by addressing many of the recently devised techniques and approaches for scheduling tasks and managing resources in real-time systems. Together, these two texts provide a comprehensive snapshot of current insights into the process of designing and building real time computing systems on a scientific basis. The notion of real-time system has alternative interpretations, not all of which are intended usages in this collection of papers. Different communities of researchers variously use the term real-time to refer to either very fast computing, or immediate on-line data acquisition, or deadline-driven computing. This text is concerned with the formal specification and verification of computer software and systems whose correct performance is dependent on carefully orchestrated interactions with time, e. g. , meeting deadlines and synchronizing with clocks. Such systems have been enabled for a rapidly increasing set of diverse end-uses by the unremitting advances in computing power per constant-dollar cost and per constant-unit-volume of space. End use applications of real-time computers span a spectrum that includes transportation systems, robotics and manufacturing, aerospace and defense, industrial process control, and telecommunications. This volume contains a selection of papers that focus on the state-of the-art in formal specification and verification of real-time computing systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 156,20
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 156,20
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 155,04
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 155,04
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 156,58
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Kluwer Academic Publishers, Dordrecht, 1991
ISBN 10: 0792391675 ISBN 13: 9780792391678
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 158,88
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: new. Hardcover. This volume contains a selection of papers that focus on the state-of the-art in formal specification and verification of real-time computing systems. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by the Office of Naval Research in October, 1990 in Washington, D. C. A companion volume by the title Foundations of Real-Time Computing: Scheduling and Resource Management complements this hook by addressing many of the recently devised techniques and approaches for scheduling tasks and managing resources in real-time systems. Together, these two texts provide a comprehensive snapshot of current insights into the process of designing and building real time computing systems on a scientific basis. The notion of real-time system has alternative interpretations, not all of which are intended usages in this collection of papers. Different communities of researchers variously use the term real-time to refer to either very fast computing, or immediate on-line data acquisition, or deadline-driven computing. This text is concerned with the formal specification and verification of computer software and systems whose correct performance is dependent on carefully orchestrated interactions with time, e. g. , meeting deadlines and synchronizing with clocks. Such systems have been enabled for a rapidly increasing set of diverse end-uses by the unremitting advances in computing power per constant-dollar cost and per constant-unit-volume of space. End use applications of real-time computers span a spectrum that includes transportation systems, robotics and manufacturing, aerospace and defense, industrial process control, and telecommunications. This volume contains a selection of papers that focus on the state-of the-art in formal specification and verification of real-time computing systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Idioma: Inglés
Publicado por Kluwer Academic Publishers, Dordrecht, 1991
ISBN 10: 0792391667 ISBN 13: 9780792391661
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 158,89
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: new. Hardcover. This volume contains a selection of papers that focus on the state-of the-art in real-time scheduling and resource management. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by the Office of Naval Research in October, 1990 in Washington, D.C. A companion volume by the title Foundations of Real-Time Computing: Fonnal Specifications and Methods complements this book by addressing many of the most advanced approaches currently being investigated in the arena of formal specification and verification of real-time systems. Together, these two texts provide a comprehensive snapshot of current insights into the process of designing and building real-time computing systems on a scientific basis. Many of the papers in this book take care to define the notion of real-time system precisely, because it is often easy to misunderstand what is meant by that term. Different communities of researchers variously use the term real-time to refer to either very fast computing, or immediate on-line data acquisition, or deadline-driven computing. This text is concerned with the very difficult problems of scheduling tasks and resource management in computer systems whose performance is inextricably fused with the achievement of deadlines. Such systems have been enabled for a rapidly increasing set of diverse end-uses by the unremitting advances in computing power per constant-dollar cost and per constant-unit-volume of space. End-use applications of deadline-driven real-time computers span a spectrum that includes transportation systems, robotics and manufacturing, aerospace and defense, industrial process control, and telecommunications. A companion volume by the title Foundations of Real-Time Computing: Fonnal Specifications and Methods complements this book by addressing many of the most advanced approaches currently being investigated in the arena of formal specification and verification of real-time systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 155,44
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 155,44
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 159,38
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 159,38
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 159,38
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 159,76
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
EUR 171,41
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 340.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 160,54
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 175,44
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 175,44
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 175,44
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 160,92
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 172,81
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 332.
Idioma: Inglés
Publicado por Springer-Verlag New York Inc., New York, NY, 2012
ISBN 10: 1461367662 ISBN 13: 9781461367666
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 177,16
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This volume contains a selection of papers that focus on the state-of the-art in real-time scheduling and resource management. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by the Office of Naval Research in October, 1990 in Washington, D.C. A companion volume by the title Foundations of Real-Time Computing: Fonnal Specifications and Methods complements this book by addressing many of the most advanced approaches currently being investigated in the arena of formal specification and verification of real-time systems. Together, these two texts provide a comprehensive snapshot of current insights into the process of designing and building real-time computing systems on a scientific basis. Many of the papers in this book take care to define the notion of real-time system precisely, because it is often easy to misunderstand what is meant by that term. Different communities of researchers variously use the term real-time to refer to either very fast computing, or immediate on-line data acquisition, or deadline-driven computing. This text is concerned with the very difficult problems of scheduling tasks and resource management in computer systems whose performance is inextricably fused with the achievement of deadlines. Such systems have been enabled for a rapidly increasing set of diverse end-uses by the unremitting advances in computing power per constant-dollar cost and per constant-unit-volume of space. End-use applications of deadline-driven real-time computers span a spectrum that includes transportation systems, robotics and manufacturing, aerospace and defense, industrial process control, and telecommunications. A companion volume by the title Foundations of Real-Time Computing: Fonnal Specifications and Methods complements this book by addressing many of the most advanced approaches currently being investigated in the arena of formal specification and verification of real-time systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 160,54
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 179,85
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: moluna, Greven, Alemania
EUR 136,16
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: moluna, Greven, Alemania
EUR 136,16
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.