Gesamtpreis (1 Artikel Artikel):
Versandziel:
9783540752202 - Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer ... (15 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (15)
- 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 (9)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (1)
- Gut oder Befriedigend (2)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (3)
Einband
- alle Einbände
- Hardcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Softcover (15)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (5)
- Keine Print-on-Demand Angebote (13)
Sprache (1)
Preis
- Beliebiger Preis
- Weniger als EUR 20 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- EUR 20 bis EUR 45
- Mehr als EUR 45
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture . Computer Science and General Issues)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
Formal Methods And Hybrid Real-time Systems: Essays In Honour Of Dines Bjorner And Zhou Chaochen On The Occasion Of Their 70th Birthdays
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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.
-
Formal Methods And Hybrid Real-time Systems: Essays In Honour Of Dines Bjorner And Zhou Chaochen On The Occasion Of Their 70th Birthdays
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Zustand: Used. pp. 562.
-
Formal Methods and Hybrid Real-Time Systems
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 52,11
EUR 7,59 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Used. pp. 562 Illus.
-
Formal Methods and Hybrid Real-Time Systems
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: Used. pp. 562.
-
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science, 4700)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,09
EUR 13,99 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2007
ISBN 10: 354075220X ISBN 13: 9783540752202
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 84,46
EUR 14,60 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 539 pages. 9.00x5.75x1.25 inches. In Stock.
-
Formal Methods and Hybrid Real-Time Systems
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2007
ISBN 10: 354075220X ISBN 13: 9783540752202
EUR 48,37
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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.
-
Taschenbuch. Zustand: Neu. Formal Methods and Hybrid Real-Time Systems | Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays | Cliff B. Jones (u. a.) | Taschenbuch | xvi | Englisch | 2007 | Springer | EAN 9783540752202 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 131,10
EUR 29,19 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Formal Methods and Hybrid Real-Time Systems Zhiming Liu, Jim Woodcock, Cliff B. Jones
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin, 2007
ISBN 10: 354075220X ISBN 13: 9783540752202
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: gut. 2007. Formal Methods and Hybrid Real-Time Systems In deutscher Sprache. pages.
-
Formal Methods and Hybrid Real-Time Systems
Sprache: Englisch
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 354075220X ISBN 13: 9783540752202
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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.
-
Formal Methods and Hybrid Real-Time Systems
Sprache: Englisch
Verlag: Springer, Springer Sep 2007, 2007
ISBN 10: 354075220X ISBN 13: 9783540752202
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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.
