Nets, Terms and Formulas Hardback: Three Views of Concurrent Processes and Their Relationship: 23 (Cambridge Tracts in Theoretical Computer Science, Series Number 23) - Tapa dura
Sinopsis
The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Nets, Terms and Formulas Hardback: Three Views of Concurrent...
Imagen de archivo
Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship
Publicado por
Cambridge University Press, Cambridge, 1991
ISBN 10: 0521400449
ISBN 13: 9780521400442
Antiguo o usado
Tapa dura
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Very Good. Estado de la sobrecubierta: No Dust Jacket. Hardcover, printed boards, without jacket; Cambridge Tracts in Theoretical Computer Science 23. One or two minor marks on boards; leading corners slightly worn; spine ends bumped. Pages clean throughout with sound binding; all content clear. TS. Used. Nº de ref. del artículo: 277489
Comprar usado
EUR 16,40
Gastos de envío:
EUR 10,80
De Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science, Band 23)
Publicado por
Cambridge University Press 03.10.1991., 1991
ISBN 10: 0521400449
ISBN 13: 9780521400442
Antiguo o usado
Tapa dura
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Gut. 278 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 24,8 x 17,2 x 2,0 cm, Gebundene Ausgabe. Nº de ref. del artículo: 388091
Comprar usado
EUR 22,28
Gastos de envío:
EUR 24,00
De Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science)
Publicado por
Cambridge University Press, 1991
ISBN 10: 0521400449
ISBN 13: 9780521400442
Nuevo
Tapa dura
Librería: Labyrinth Books, Princeton, NJ, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Nº de ref. del artículo: 219322
Comprar nuevo
EUR 77,42
Gastos de envío:
EUR 3,89
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science, Series Number 23)
Publicado por
Cambridge University Press, 1991
ISBN 10: 0521400449
ISBN 13: 9780521400442
Nuevo
Tapa dura
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Feb2416190001681
Comprar nuevo
EUR 124,53
Gastos de envío:
EUR 3,45
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Nets, Terms and Formulas : Three Views of Concurrent Processes and Their Relationship
Publicado por
Cambridge University Press, 1991
ISBN 10: 0521400449
ISBN 13: 9780521400442
Nuevo
Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 850019-n
Comprar nuevo
EUR 125,72
Gastos de envío:
EUR 2,28
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science, Series Number 23)
Publicado por
Cambridge University Press, 1991
ISBN 10: 0521400449
ISBN 13: 9780521400442
Nuevo
Tapa dura
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9780521400442
Comprar nuevo
EUR 140,63
Gastos de envío:
GRATIS
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Nets, Terms and Formulas : Three Views of Concurrent Processes and Their Relationship
Publicado por
Cambridge University Press, 1991
ISBN 10: 0521400449
ISBN 13: 9780521400442
Antiguo o usado
Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 850019
Comprar usado
EUR 141,00
Gastos de envío:
EUR 2,28
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science, Series Number 23)
Publicado por
Cambridge University Press, 1991
ISBN 10: 0521400449
ISBN 13: 9780521400442
Nuevo
Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9780521400442_new
Comprar nuevo
EUR 133,68
Gastos de envío:
EUR 13,62
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Nets, Terms and Formulas (Hardcover)
Publicado por
Cambridge University Press, Cambridge, 1991
ISBN 10: 0521400449
ISBN 13: 9780521400442
Nuevo
Tapa dura
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
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 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 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9780521400442
Comprar nuevo
EUR 149,45
Gastos de envío:
GRATIS
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Nets, Terms and Formulas : Three Views of Concurrent Processes and Their Relationship
Publicado por
Cambridge University Press, 1991
ISBN 10: 0521400449
ISBN 13: 9780521400442
Nuevo
Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 850019-n
Comprar nuevo
EUR 133,67
Gastos de envío:
EUR 17,06
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles