Gesamtpreis (1 Artikel Artikel):
Versandziel:
9780521400442 - Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship (Cambridge Tracts in Theoretical Computer Science) von Olderog, E. -R (6 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (6)
- 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 (4)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Gut oder Befriedigend (2)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
- alle Einbände
- Hardcover (6)
- Softcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (1)
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
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
Nets, Terms and Formulas : Three Views of Concurrent Processes and Their Relationship
Buch 8 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521400449 ISBN 13: 9780521400442
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 25,11
EUR 5,87 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. 1st Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science)
Buch 8 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521400449 ISBN 13: 9780521400442
Anbieter: Labyrinth Books, Princeton, NJ, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science, Series Number 23)
Buch 8 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521400449 ISBN 13: 9780521400442
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 141,90
EUR 14,06 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship: 23 (Cambridge Tracts in Theoretical Computer Science, Series Number 23)
Buch 8 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521400449 ISBN 13: 9780521400442
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 202,56
EUR 9,21 Versand
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 278 pages, references. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 17. Weight in Grams: 670. . 1991. hardcover. . . . . Books ship from the US and Ireland.
-
Nets, Terms and Formulas : Three Views of Concurrent Processes and Their Relationship
Buch 8 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521400449 ISBN 13: 9780521400442
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The author presents a theory of concurrent processes where three different semantic description methods that are usually studied in isolation are brought together. Petri nets describe processes as concurrent and interacting machines; algebraic process terms describe processes as abstract concurrent processes; and logical formulas specify the intended communication behaviour of processes. At the heart of this theory are two sets of transformation rules for the top-down design of concurrent processes. The first set can be used to transform stepwise logical formulas into process terms, whilst process terms can be transformed into Petri nets by the second set. These rules are based on novel techniques for the operational and denotational semantics of concurrent processes. Various results and relationships between nets, terms and formulas starting with formulas and illustrated by examples. The use of transformations is demonstrated in a series of case studies, and the author also identifies directions for research.
-
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relation
Buch 8 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521400449 ISBN 13: 9780521400442
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: gut. Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relation In englischer Sprache. pages.
