Artículos relacionados a Nets, Terms and Formulas Hardback: Three Views of Concurrent...
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.
EUR 11,58
EUR 8,04 gastos de envío desde Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 76,86
EUR 3,86 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envíoResultados 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: 23 (Cambridge Tracts in Theoretical Computer Science, Series Number 23)
Librería: Bahamut Media, Reading, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Nº de ref. del artículo: 6545-9780521400442
Gastos de envío:
EUR 8,04
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
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)
Librería: AwesomeBooks, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Very Good. Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Nº de ref. del artículo: 7719-9780521400442
Gastos de envío:
EUR 5,75
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
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
Gastos de envío:
EUR 10,94
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
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
Gastos de envío:
EUR 24,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
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
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
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
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
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
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
Cantidad disponible: 1 disponibles