9780521400442 - nets, terms and formulas hardback: three views of concurrent processes and their relationship: 23 (cambridge tracts in theoretical computer science, series number 23) de olderog (20 resultados)

Idioma: Inglés
Editorial: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 de 40. Libro 8 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
- Primera edición
Librería: Better World Books Ltd, Dunfermline, Reino UnidoBetter World Books Ltd
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 25,76
Envío por EUR 5,80Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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.

Idioma: Inglés
Editorial: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 de 40. Libro 8 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: Labyrinth Books, Princeton, NJ, Estados Unidos de AmericaLabyrinth Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 78,45
Envío por EUR 3,94Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New.

Idioma: Inglés
Editorial: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 de 40. Libro 8 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 146,43
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

Idioma: Inglés
Editorial: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 de 40. Libro 8 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 148,82
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

Idioma: Inglés
Editorial: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 de 40. Libro 8 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 149,73
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

Idioma: Inglés
Editorial: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 de 40. Libro 8 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 140,31
Envío por EUR 13,90Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.

Idioma: Inglés
Editorial: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 de 40. Libro 8 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 140,29
Envío por EUR 17,41Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

Idioma: Inglés
Editorial: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 de 40. Libro 8 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 157,15
Envío por EUR 17,41Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

Idioma: Inglés
Editorial: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 de 40. Libro 8 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 158,51
Envío por EUR 10,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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. Weig…ht in Grams: 670. . 1991. hardcover. . . . .

Idioma: Inglés
Editorial: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 de 40. Libro 8 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 202,28
Envío por EUR 9,19Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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. Weig…ht in Grams: 670. . 1991. hardcover. . . . . Books ship from the US and Ireland.

Idioma: Inglés
Editorial: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 de 40. Libro 8 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 201,39
Envío por EUR 63,62Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Buch. Condición: 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 ter…ms 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.

Idioma: Inglés
Editorial: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 de 40. Libro 8 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, AlemaniaBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 289,90
Envío por EUR 39,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: gut. Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relation In deutscher Sprache. pages.

Idioma: Inglés
Editorial: Cambridge University Press CUP, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 de 40. Libro 8 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
- Impresión bajo demanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 160,57
Envío por EUR 3,49Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand pp. 278.

Idioma: Inglés
Editorial: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 de 40. Libro 8 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 156,50
Envío por EUR 7,54Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: 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.

Idioma: Inglés
Editorial: Cambridge Univ Pr, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 de 40. Libro 8 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
- Impresión bajo demanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 153,06
Envío por EUR 14,51Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Brand New. 277 pages. 10.00x7.00x0.75 inches. In Stock. This item is printed on demand.

Idioma: Inglés
Editorial: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 de 40. Libro 8 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 154,39
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND pp. 278.

Idioma: Inglés
Editorial: Cambridge University Press, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 de 40. Libro 8 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
- Impresión bajo demanda
Librería: THE SAINT BOOKSTORE, Southport, Reino UnidoTHE SAINT BOOKSTORE
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 158,23
Envío por EUR 20,95Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

Idioma: Inglés
Editorial: Cambridge University Press, Cambridge, 1991
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 de 40. Libro 8 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
- Impresión bajo demanda
Librería: CitiRetail, Stevenage, Reino UnidoCitiRetail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 158,38
Envío por EUR 42,94Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: 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 con…current 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.

Idioma: Inglés
Editorial: Cambridge University Press, 2011
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 de 40. Libro 8 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 147,23
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Gebunden. Condición: 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 d…irections for research.Inhaltsverzeichnis.
Más imágenesIdioma: Inglés
Editorial: Cambridge University Press, 2011
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 8 de 40. Libro 8 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
- Impresión bajo demanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 152,65
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Buch. Condición: 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: prei…gu Print on Demand.