The Analysis of Concurrent Systems: Cambridge, September 12-16, 1983. Proceedings: 207 (Lecture Notes in Computer Science, 207) - Tapa blanda
Otras ediciones populares con el mismo título
Resultados de la búsqueda para The Analysis of Concurrent Systems: Cambridge, September...
Imagen de archivo
The Analysis of Concurrent Systems : Cambridge, September 12-16, 1983. Proceedings
Publicado por
Springer Berlin / Heidelberg, 1985
ISBN 10: 3540160477
ISBN 13: 9783540160472
Antiguo o usado
Tapa blanda
Librería: Better World Books Ltd, Dunfermline, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Nº de ref. del artículo: 57147354-20
Comprar usado
EUR 19,50
Envío por EUR 5,84
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
The Analysis of Concurrent Systems
Publicado por
Springer-Verlag, Berlin, 1985
ISBN 10: 3540160477
ISBN 13: 9783540160472
Antiguo o usado
Paperback
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. Estado de la sobrecubierta: No Dust Jacket. Lecture Notes in Computer Science 207; previous owner's initials discreetly inscribed on the title page. Faintly bumped spine head and rubbed corners. Covers are slightly marked due to age. Sound, clean book with tight binding. ADG. Used. Nº de ref. del artículo: 094662
Comprar usado
EUR 15,33
Envío por EUR 14,59
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Analysis of Concurrent Systems : Cambridge, September 12-16, 1983. Proceedings
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: 5890764
Comprar usado
EUR 62,56
Envío por EUR 2,31
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
The Analysis of Concurrent Systems: Cambridge, September 12-16, 1983. Proceedings (Lecture Notes in Computer Science, 207)
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: ria9783540160472_new
Comprar nuevo
EUR 61,07
Envío por EUR 13,98
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
The Analysis of Concurrent Systems : Cambridge, September 12-16, 1983. Proceedings
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783540160472
Comprar nuevo
EUR 57,46
Envío por EUR 18,08
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 10 disponibles
Imagen del vendedor
The Analysis of Concurrent Systems
Publicado por
Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 1985, 1985
ISBN 10: 3540160477
ISBN 13: 9783540160472
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Using algebra for concurrency: Some approaches.- Some aspects of net theory.- From state machines to temporal logic: Specification methods for protocol standards.- A practical approach to the analysis of concurrent systems.- The problem set.- Specifying problem one using the ¿failure¿ sets model for CSP and deriving CSP processes which meet this specification.- Two-way channel with disconnect.- Workshop on analysis of concurrent systems attempt at problem 3: The firing squad.- Parallel combinator reduction machine.- Workshop on analysis of concurrent systems attempt at problem 8: Mixing synchronous and asynchronous input.- Workshop on analysis of concurrent systems attempt at problem 10: The matrix switch.- On the specification of the firing squad problem.- Towards the hierarchical, temporal logic, specification of concurrent systems.- Two way channel with disconnect.- An example of specification and verification in CESAR.- Trace theory and the specification of concurrent systems.- Syntax and informal semantics of DyNe, a parallel language.- Examples of a real-time temporal logic specification.- Problems from the workshop on the analysis of concurrent systems.- A simple railway system.- Description and analysis using CIRCAL.- Firing squad.- Specification of a simplified Network Service in Z (Problem 2).- Specification of a simplified Network Service in CSP (Problem 2).- A solution to problem 7 ¿ parallel combinator reduction machine ¿.- A temporal analysis of some concurrent systems.- Solutions to problem no. 2.- A CSP solution to the 'trains' problem.- The train set problem.- Conclusions. 412 pp. Englisch. Nº de ref. del artículo: 9783540160472
Comprar nuevo
EUR 53,49
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Analysis of Concurrent Systems : Cambridge, September 12-16, 1983. Proceedings
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: 5890764-n
Comprar nuevo
EUR 74,93
Envío por EUR 2,31
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen del vendedor
The Analysis of Concurrent Systems
Publicado por
Springer Berlin Heidelberg, 1985
ISBN 10: 3540160477
ISBN 13: 9783540160472
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Using algebra for concurrency: Some approaches.- Some aspects of net theory.- From state machines to temporal logic: Specification methods for protocol standards.- A practical approach to the analysis of concurrent systems.- The problem set.- Specifying pro. Nº de ref. del artículo: 4882895
Comprar nuevo
EUR 48,37
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
The Analysis of Concurrent Systems
Publicado por
Springer, Springer Dez 1985, 1985
ISBN 10: 3540160477
ISBN 13: 9783540160472
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Using algebra for concurrency: Some approaches.- Some aspects of net theory.- From state machines to temporal logic: Specification methods for protocol standards.- A practical approach to the analysis of concurrent systems.- The problem set.- Specifying problem one using the 'failure' sets model for CSP and deriving CSP processes which meet this specification.- Two-way channel with disconnect.- Workshop on analysis of concurrent systems attempt at problem 3: The firing squad.- Parallel combinator reduction machine.- Workshop on analysis of concurrent systems attempt at problem 8: Mixing synchronous and asynchronous input.- Workshop on analysis of concurrent systems attempt at problem 10: The matrix switch.- On the specification of the firing squad problem.- Towards the hierarchical, temporal logic, specification of concurrent systems.- Two way channel with disconnect.- An example of specification and verification in CESAR.- Trace theory and the specification of concurrent systems.- Syntax and informal semantics of DyNe, a parallel language.- Examples of a real-time temporal logic specification.- Problems from the workshop on the analysis of concurrent systems.- A simple railway system.- Description and analysis using CIRCAL.- Firing squad.- Specification of a simplified Network Service in Z (Problem 2).- Specification of a simplified Network Service in CSP (Problem 2).- A solution to problem 7 - parallel combinator reduction machine -.- A temporal analysis of some concurrent systems.- Solutions to problem no. 2.- A CSP solution to the 'trains' problem.- The train set problem.- Conclusions.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 412 pp. Englisch. Nº de ref. del artículo: 9783540160472
Comprar nuevo
EUR 53,49
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
The Analysis of Concurrent Systems : Cambridge, September 12-16, 1983. Proceedings
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Using algebra for concurrency: Some approaches.- Some aspects of net theory.- From state machines to temporal logic: Specification methods for protocol standards.- A practical approach to the analysis of concurrent systems.- The problem set.- Specifying problem one using the 'failure' sets model for CSP and deriving CSP processes which meet this specification.- Two-way channel with disconnect.- Workshop on analysis of concurrent systems attempt at problem 3: The firing squad.- Parallel combinator reduction machine.- Workshop on analysis of concurrent systems attempt at problem 8: Mixing synchronous and asynchronous input.- Workshop on analysis of concurrent systems attempt at problem 10: The matrix switch.- On the specification of the firing squad problem.- Towards the hierarchical, temporal logic, specification of concurrent systems.- Two way channel with disconnect.- An example of specification and verification in CESAR.- Trace theory and the specification of concurrent systems.- Syntax and informal semantics of DyNe, a parallel language.- Examples of a real-time temporal logic specification.- Problems from the workshop on the analysis of concurrent systems.- A simple railway system.- Description and analysis using CIRCAL.- Firing squad.- Specification of a simplified Network Service in Z (Problem 2).- Specification of a simplified Network Service in CSP (Problem 2).- A solution to problem 7 - parallel combinator reduction machine -.- A temporal analysis of some concurrent systems.- Solutions to problem no. 2.- A CSP solution to the 'trains' problem.- The train set problem.- Conclusions. Nº de ref. del artículo: 9783540160472
Comprar nuevo
EUR 53,49
Envío por EUR 63,11
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles