Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
EUR 37,79
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Gut. Auflage: 1989. 728 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 1013 23,6 x 16,5 x 2,0 cm, Taschenbuch.
Anbieter: Books Puddle, New York, NY, USA
EUR 77,43
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 713.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 78,99
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 713.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
EUR 80,74
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 713.
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1989
ISBN 10: 354051080X ISBN 13: 9783540510802
Sprache: Englisch
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
EUR 107,52
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of these three approaches. An introduction to the recent literature on the subject is provided by the invited research contributions. This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 105,19
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 104,02
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 111,31
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Books Puddle, New York, NY, USA
EUR 142,67
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 728.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 147,97
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 728 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
EUR 152,25
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 728.
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
EUR 146,00
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Gut. 713 Seiten Sofort verfügbar Versand spätestens am nächsten Arbeitstag Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sprache: Englisch Gewicht in Gramm: 550.
Verlag: Springer Berlin Heidelberg, 1989
ISBN 10: 354051080X ISBN 13: 9783540510802
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 106,99
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume is based on the 'School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency' organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of these three approaches. An introduction to the recent literature on the subject is provided by the invited research contributions.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 183,30
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 216,18
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1989
ISBN 10: 354051080X ISBN 13: 9783540510802
Sprache: Englisch
Anbieter: AussieBookSeller, Truganina, VIC, Australien
EUR 229,60
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of these three approaches. An introduction to the recent literature on the subject is provided by the invited research contributions. This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1989, 1989
ISBN 10: 354051080X ISBN 13: 9783540510802
Sprache: Englisch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
EUR 106,99
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is based on the 'School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency' organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of these three approaches. An introduction to the recent literature on the subject is provided by the invited research contributions. 728 pp. Englisch.
Verlag: Springer Berlin Heidelberg, 1989
ISBN 10: 354051080X ISBN 13: 9783540510802
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 92,27
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume is based on the School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop .
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1989, 1989
ISBN 10: 354051080X ISBN 13: 9783540510802
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 106,99
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume is based on the 'School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency' organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of these three approaches. An introduction to the recent literature on the subject is provided by the invited research contributions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 728 pp. Englisch.