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 (18 resultados)
Idioma: Inglés
Editorial: Cambridge University Press, 1991
Serie: 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 22,69
Envío por EUR 5,82Se 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: 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 77,33
Envío por EUR 3,88Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New.
Idioma: Inglés
Editorial: Cambridge University Press, 1991
Serie: 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 144,34
Envío por EUR 2,28Se 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: 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 5 estrellasCondición: Nuevo
EUR 146,70
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: 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 147,84
Envío por EUR 2,28Se 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: 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 148,06
Envío por EUR 13,94Se 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: 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 148,05
Envío por EUR 17,46Se 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: 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 153,86
Envío por EUR 17,46Se 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: 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 9,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: 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 199,39
Envío por EUR 9,06Se 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: 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 englischer Sprache. pages.
Idioma: Inglés
Editorial: Cambridge University Press CUP, 1991
Serie: 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 158,28
Envío por EUR 3,44Se 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: 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 154,20
Envío por EUR 7,56Se 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 University Press, 1991
Serie: 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 155,17
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: 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 175,44
Envío por EUR 21,01Se 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, 2011
Serie: 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.
Idioma: Inglés
Editorial: Cambridge University Press, Cambridge, 1991
Serie: 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,81
Envío por EUR 43,06Se 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.
Más imágenesIdioma: Inglés
Editorial: Cambridge University Press, 2011
Serie: 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.
