Artículos relacionados a Specification and Verification of Concurrent Systems...
Reseña del editor
This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. Specification and verification techniques are playing an increasingly important role in the design and production of practical concurrent systems. The wider application of these techniques serves to identify difficult problems that require new approaches to their solution and further developments in specification and verification. The Workshop aimed to capture this interplay by providing a forum for the exchange of the experience of academic and industrial experts in the field. Presentations included: surveys, original research, practical experi ence with methods, tools and environments in the following or related areas: Object-oriented, process, data and logic based models and specifi cation methods for concurrent systems Verification of concurrent systems Tools and environments for the analysis of concurrent systems Applications of specification languages to practical concurrent system design and development. We should like to thank the invited speakers and all the authors of the papers whose work contributed to making the Workshop such a success. We were particularly pleased with the international response to our call for papers. Invited Speakers Pierre America Philips Research Laboratories University of Warwick Professor M. Joseph David Freestone British Telecom Organising Committee Charles Rattray Dr Muffy Thomas Dr Simon Jones Dr John Cooke Professor Ken Turner Derek Coleman Maurice Naftalin Dr Peter Scharbach vi Preface We would like to aeknowledge the finaneial eontribution made by SD-Sysems Designers pie, Camberley, Surrey.
Reseña del editor
"Papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland"--Pref.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación1990
- ISBN 10 3540195815
- ISBN 13 9783540195818
- EncuadernaciónTapa blanda
- Número de edición1
- Número de páginas624
- EditorRattray Charles
EUR 21,87
Gastos de envío:
EUR 8,00
De Francia a Estados Unidos de America
Comprar nuevo
Ver este artículo
EUR 53,03
Gastos de envío:
GRATIS
A Estados Unidos de America
Otras ediciones populares con el mismo título
Los mejores resultados en AbeBooks
Imagen de archivo
Specification and Verification of Concurrent Systems
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1990
ISBN 10: 3540195815
ISBN 13: 9783540195818
Antiguo o usado
Softcover
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Softcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 1990. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: E-595-599
Cantidad disponible: 1 disponibles
Imagen del vendedor
Specification and Verification of Concurrent Systems (Workshops in Computing) [Paperback ]
Impresión bajo demandaLibrería: booksXpress, Bayonne, NJ, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Soft Cover. Condición: new. This item is printed on demand. Nº de ref. del artículo: 9783540195818
Cantidad disponible: 10 disponibles
Imagen de archivo
Specification and Verification of Concurrent Systems (Workshops in Computing)
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: ABLIING23Mar3113020162144
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Specification and Verification of Concurrent Systems
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: 20345396-n
Cantidad disponible: 5 disponibles
Imagen del vendedor
Specification and Verification of Concurrent Systems (Workshops in Computing)
Publicado por
Springer 23.07.1990., 1990
ISBN 10: 3540195815
ISBN 13: 9783540195818
Antiguo o usado
Tapa blanda
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Gut. Auflage: 1st Edition. 624 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 1193 24,4 x 17,0 x 3,6 cm, Taschenbuch. Nº de ref. del artículo: 370896
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
Specification and Verification of Concurrent Systems
Impresión bajo demandaLibrería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9783540195818_lsuk
Gastos de envío:
EUR 11,90
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Specification and Verification of Concurrent Systems
Librería: GreatBookPricesUK, Castle Donington, DERBY, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 20345396-n
Gastos de envío:
EUR 17,88
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 5 disponibles
Imagen del vendedor
Specification and Verification of Concurrent Systems
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 - This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. Specification and verification techniques are playing an increasingly important role in the design and production of practical concurrent systems. The wider application of these techniques serves to identify difficult problems that require new approaches to their solution and further developments in specification and verification. The Workshop aimed to capture this interplay by providing a forum for the exchange of the experience of academic and industrial experts in the field. Presentations included: surveys, original research, practical experi ence with methods, tools and environments in the following or related areas: Object-oriented, process, data and logic based models and specifi cation methods for concurrent systems Verification of concurrent systems Tools and environments for the analysis of concurrent systems Applications of specification languages to practical concurrent system design and development. We should like to thank the invited speakers and all the authors of the papers whose work contributed to making the Workshop such a success. We were particularly pleased with the international response to our call for papers. Invited Speakers Pierre America Philips Research Laboratories University of Warwick Professor M. Joseph David Freestone British Telecom Organising Committee Charles Rattray Dr Muffy Thomas Dr Simon Jones Dr John Cooke Professor Ken Turner Derek Coleman Maurice Naftalin Dr Peter Scharbach vi Preface We would like to aeknowledge the finaneial eontribution made by SD-Sysems Designers pie, Camberley, Surrey. Nº de ref. del artículo: 9783540195818
Gastos de envío:
EUR 32,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Specification and Verification of Concurrent Systems (Workshops in Computing)
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 620 pages. 9.61x6.70x1.41 inches. In Stock. Nº de ref. del artículo: x-3540195815
Gastos de envío:
EUR 11,92
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 2 disponibles
Imagen del vendedor
Specification and Verification of Concurrent Systems
Impresión bajo demandaLibrerí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. This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. Specification and verification techniques are playing an increasingly impo. Nº de ref. del artículo: 4884213
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles