Real Time Systems by Liu (31 results)

Paperback. Condition: Fair. 1. The item might be beaten up but readable. May contain markings or highlighting, as well as stains, bent corners, or any other major defect, but the text is not obscured in any way.

Paperback. Condition: Fair. 1. The item might be beaten up but readable. May contain markings or highlighting, as well as stains, bent corners, or any other major defect, but the text is not obscured in any way. International edition.

Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Condition: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear.

Hardback. Condition: Good. Intended for senior/graduate-level courses in Real-Time Systems in Computer Science and Computer Engineering departments, this book covers the advances in real-time operating systems and communications networks - emphasizing research results that have been adopted in state-of-the-art systems.…

Hardback. Condition: Good. Intended for senior/graduate-level courses in Real-Time Systems in Computer Science and Computer Engineering departments, this book covers the advances in real-time operating systems and communications networks - emphasizing research results that have been adopted in state-of-the-art systems.…

Soft cover. Condition: New. ISBN:9788177585759,Territorial restriction maybe printed on the book. This is an Int'l edition, ISBN and cover may differ from US edition, Contents same as US edition.

Condition: New.

Condition: New. Brand New. Soft Cover International Edition. Different ISBN and Cover Image. Priced lower than the standard editions which is usually intended to make them more affordable for students abroad. The core content of the book is generally the same as the standard edition. The country selling restrictions may be printed on the book but is no problem for the self-use. This Item maybe shipped from US or any other country as we have multiple locations worldwide.…

Paperback. Condition: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.

Condition: New. Brand New, Softcover edition. This item may ship from the US or our Overseas warehouse depending on your location and stock availability.

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

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.

paperback. Condition: New. Language:Chinese.Real-time systems : Translated (U.S. ) JaneW.S.Liu the Higher Education Press.

Condition: Used. pp. 562.

Condition: As New. Unread book in perfect condition.

Condition: Used. pp. 562 Illus.

Condition: Used. pp. 562.

Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.

paperback. Condition: New. Paperback Pages Number: 610 Language: English Publisher: Higher Education Press; (photocopy edition) (January 1. 2002). Book is comprehensive coverage of recent progress in the content of real-time operating systems and communication networks. using a variety of examples description of the algorithm or rule. The main contents include: real-time hardware and software systems and the principle of classification. the reference model of the real-time systems. the characteristics of the system des.…

Condition: New.

Condition: New. In English.

Hardcover. Condition: new. New Copy. Customer Service Guaranteed.

Condition: New.

Paperback. Condition: Brand New. 1st edition. 539 pages. 9.00x5.75x1.25 inches. In Stock.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007. The papers cover a broad spectrum of subjects. …

Apr 20, 2000. Condition: D'occasion - Très bon état. Prentice-Hall, 2000. En anglais. Hardcover / Cartonné. Envoi rapide et soigné.

Taschenbuch. Condition: Neu. Design Space Exploration for Distributed Real-Time | A Software Product Line Engineering Approach for Design and Analysis of Component-Based Distributed Real-Time and Embedded Systems | Shih-Hsi Liu | Taschenbuch | Englisch | VDM Verlag Dr. Müller | EAN 9783639219623 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007. The papers cover a broad spectrum of subjects. 560 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Models and Software Model Checking of a Distributed File Replication System.- From 'Formal Methods' to System Modeling.- A Denotational Semantics for Handel-C.- Generating Polynomial Invariants with DISCOVERER and QEPCAD.- Harnessing rCOS for Tool Support -The CoCoME Experience.- Automating Verification of Cooperation, Control, and Design in Traffic Applications.- Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus.- Relating Domain Concepts Intensionally by Ordering Connections.- Programmable Messaging for Electronic Government - Building a Foundation.- Balancing Insight and Effort: The Industrial Uptake of Formal Methods.- Proving Theorems About JML Classes.- Specification for Testing.- Semantics and Verification of a Language for Modelling Hardware Architectures.- A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems.- Compensable Programs.- Deriving Specifications for Systems That Are Connected to the Physical World.- Engineering the Development of Embedded Systems.- Design Verification Patterns.- On Revival of Algol-Concepts in Modern Programming and Specification Languages.- Design in CommUnity with Extension Morphisms.- Symbolic Test Generation Using a Temporal Logic with Constrained Events.- Expansive-Bisimulation for Context-Free Processes.- VDM Semantics of Programming Languages: Combinators and Monads.- Formal Approach to Railway Applications.- Services as a Paradigm of Computation.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 560 pp. Englisch.…