Gesamtpreis (1 Artikel Artikel):
Versandziel:
introduction formal design real time von gray david (21 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (21)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (11)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (4)
- Gut oder Befriedigend (3)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (3)
Einband
- alle Einbände
- Hardcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Softcover (21)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (6)
- Keine Print-on-Demand Angebote (19)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Introduction to the Formal Design of Real-Time Systems
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1999
ISBN 10: 3540761403 ISBN 13: 9783540761402
Sprache: Englisch
Softcover. Zustand: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1999. 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. Edition 1999. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Introduction to the Formal Design of Real-Time Systems (Applied Computing)
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 4,12
Währung umrechnenEUR 4,55 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Introduction to the Formal Design of Real-Time Systems (Applied Computing)
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 22,11
Währung umrechnenEUR 4,00 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Gut. 476 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,5 x 15,5 x 2,7 cm, Taschenbuch Auflage: Softcover reprint of the original 1st ed. 1999.
-
Introduction to the Formal Design of Real-Time Systems (Applied Computing)
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 22,11
Währung umrechnenEUR 4,00 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Gut. 476 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,5 x 15,5 x 2,7 cm, Taschenbuch Auflage: Softcover reprint of the original 1st ed. 1999.
-
Introduction to the Formal Design of Real-Time Systems (Applied Computing)
Anbieter: Wonder Book, Frederick, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 17,55
Währung umrechnenEUR 21,31 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: As New. Like New condition. A near perfect copy that may have very minor cosmetic defects.
-
Introduction To The Formal Design Of Real-time Systems
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 44,05
Währung umrechnenKostenlos für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
-
EUR 47,23
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Introduction to the Formal Design of Real-Time Systems
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - but when we state that A 'equals' B , as well having to know what we mean by A and B we also have know what we mean by 'equals'. This section explores the role of observers; how different types of observ er see different things as being equal, and how we can produce algo rithms to decide on such equalities. It also explores how we go about writing specifications to which we may compare our SCCS designs. - The final section is the one which the students like best. Once enough of SCCS is grasped to decide upon the component parts of a design, the 'turning the handle' steps of composition and check ing that the design meets its specification are both error-prone and tedious. This section introduces the concurrency work bench, which shoulders most of the burden. How you use the book is up to you; I'm not even going to suggest path ways. Individual readers know what knowledge they seek, and course leaders know which concepts they are trying to impart and in what order.
-
Introduction to the Formal Design of Real-Time Systems (Applied Computing)
Anbieter: ALLBOOKS1, Direk, SA, Australien
Verkäuferbewertung 5 von 5 Sternen
EUR 59,76
Währung umrechnenKostenlos für den Versand von Australien nach DeutschlandAnzahl: 1 verfügbar
In den Warenkorb -
Introduction to the Formal Design of Real-Time Systems
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 57,98
Währung umrechnenEUR 2,30 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Used. pp. 478.
-
EUR 57,24
Währung umrechnenEUR 7,67 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Used. pp. 478.
-
Introduction to the Formal Design of Real-Time Systems (Applied Computing)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,55
Währung umrechnenEUR 5,76 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Introduction to the Formal Design of Real-Time Systems
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 56,35
Währung umrechnenEUR 10,24 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Used. pp. 478 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Introduction to the Formal Design of Real-Time Systems
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 57,16
Währung umrechnenEUR 15,03 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
EUR 48,27
Währung umrechnenEUR 25,55 für den Versand von USA nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbZustand: New. SUPER FAST SHIPPING.
-
Introduction to the Formal Design of Real-Time Systems (Applied Computing)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 80,65
Währung umrechnenEUR 11,57 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 474 pages. 9.50x6.25x1.25 inches. In Stock.
-
Introduction to the Formal Design of Real-Time Systems (Applied Computing)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 89,37
Währung umrechnenEUR 28,92 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
-
Introduction to the Formal Design of Real-Time Systems (Applied Computing)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 52,67
Währung umrechnenEUR 63,92 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Introduction to the Formal Design of Real-Time Systems
Verlag: Springer London, Springer Berlin Heidelberg Nov 1998, 1998
ISBN 10: 3540761403 ISBN 13: 9783540761402
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -but when we state that A 'equals' B , as well having to know what we mean by A and B we also have know what we mean by 'equals'. This section explores the role of observers; how different types of observ er see different things as being equal, and how we can produce algo rithms to decide on such equalities. It also explores how we go about writing specifications to which we may compare our SCCS designs. ¿ The final section is the one which the students like best. Once enough of SCCS is grasped to decide upon the component parts of a design, the 'turning the handle' steps of composition and check ing that the design meets its specification are both error-prone and tedious. This section introduces the concurrency work bench, which shoulders most of the burden. How you use the book is up to you; I'm not even going to suggest path ways. Individual readers know what knowledge they seek, and course leaders know which concepts they are trying to impart and in what order.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.
-
Introduction to the Formal Design of Real-Time Systems
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 85,55
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -but when we state that A 'equals' B , as well having to know what we mean by A and B we also have know what we mean by 'equals'. This section explores the role of observers; how different types of observ er see different things as being equal, and how we can produce algo rithms to decide on such equalities. It also explores how we go about writing specifications to which we may compare our SCCS designs. - The final section is the one which the students like best. Once enough of SCCS is grasped to decide upon the component parts of a design, the 'turning the handle' steps of composition and check ing that the design meets its specification are both error-prone and tedious. This section introduces the concurrency work bench, which shoulders most of the burden. How you use the book is up to you; I'm not even going to suggest path ways. Individual readers know what knowledge they seek, and course leaders know which concepts they are trying to impart and in what order. 476 pp. Englisch.
