9780521400442 - nets, terms and formulas: three views of concurrent processes and their relationship di olderog, e. -r. (20 risultati)
Lingua: Inglese
Editore: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 di 40. Libro 8 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
- Prima edizione
Da: Better World Books Ltd, Dunfermline, Regno UnitoBetter World Books Ltd
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 25,67
EUR 5,80 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: 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.
Lingua: Inglese
Editore: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 di 40. Libro 8 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: Labyrinth Books, Princeton, NJ, U.S.A.Labyrinth Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 78,45
EUR 3,94 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 di 40. Libro 8 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 146,43
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 di 40. Libro 8 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 148,82
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 di 40. Libro 8 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 149,73
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 di 40. Libro 8 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 140,31
EUR 13,90 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 di 40. Libro 8 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 140,29
EUR 17,41 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 di 40. Libro 8 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 157,15
EUR 17,41 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 di 40. Libro 8 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 158,51
EUR 10,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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. Wei…ght in Grams: 670. . 1991. hardcover. . . . .
Lingua: Inglese
Editore: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 di 40. Libro 8 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 202,28
EUR 9,19 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: 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. Wei…ght in Grams: 670. . 1991. hardcover. . . . . Books ship from the US and Ireland.
Lingua: Inglese
Editore: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 di 40. Libro 8 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 201,39
EUR 63,62 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: 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 te…rms 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.
Lingua: Inglese
Editore: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 di 40. Libro 8 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, GermaniaBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 289,90
EUR 39,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: gut. Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relation In deutscher Sprache. pages.
Lingua: Inglese
Editore: Cambridge University Press CUP, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 di 40. Libro 8 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
- Print on Demand
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 160,57
EUR 3,49 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand pp. 278.
Lingua: Inglese
Editore: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 di 40. Libro 8 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 156,50
EUR 7,54 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand pp. 278 68:B&W 7 x 10 in or 254 x 178 mm Case Laminate on White w/Gloss Lam.
Lingua: Inglese
Editore: Cambridge Univ Pr, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 di 40. Libro 8 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
- Print on Demand
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 153,06
EUR 14,51 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Brand New. 277 pages. 10.00x7.00x0.75 inches. In Stock. This item is printed on demand.
Lingua: Inglese
Editore: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 di 40. Libro 8 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 154,39
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. 278.
Lingua: Inglese
Editore: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 di 40. Libro 8 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
- Print on Demand
Da: THE SAINT BOOKSTORE, Southport, Regno UnitoTHE SAINT BOOKSTORE
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 158,23
EUR 20,95 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Lingua: Inglese
Editore: Cambridge University Press, Cambridge, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 di 40. Libro 8 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
- Print on Demand
Da: CitiRetail, Stevenage, Regno UnitoCitiRetail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 158,38
EUR 42,94 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: new. Hardcover. 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 co…ncurrent 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 future research.The book is written for graduate students and researchers in computer science; the author assumes a basic understanding of mathematical terminology, predicate logic and programming, but develops the semantic concepts used in a self-contained manner. The core of the material can be used for a one-semester course on concurrent processes. The book is self-contained in the semantics used, and will be of considerable interest to researchers and graduates in computer science working in models of concurrency. The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. The use of transformations in a series of case studies and the author identifies directions for research. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Lingua: Inglese
Editore: Cambridge University Press, 2011
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 di 40. Libro 8 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 147,23
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. The use of transformations in a series of case studies and the author identifies…directions for research.Inhaltsverzeichnis.
Altre immaginiLingua: Inglese
Editore: Cambridge University Press, 2011
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 di 40. Libro 8 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
- Print on Demand
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 152,65
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Buch. Condizione: Neu. Nets, Terms and Formulas | Three Views of Concurrent Processes and Their Relationship | E. -R Olderog | Buch | Gebunden | Englisch | 2011 | Cambridge University Press | EAN 9780521400442 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: pre…igu Print on Demand.
