Specification and Verification of Concurrent Systems (Workshops in Computing) - Tapa blanda

 
9783540195818: Specification and Verification of Concurrent Systems (Workshops in Computing)
Tapa blanda
ISBN 10: 3540195815 ISBN 13: 9783540195818
Editorial: Springer, 1990

Sinopsis

"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.

"Sinopsis" puede pertenecer a otra edición de este libro.

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.

Editorial
Springer
Año de publicación
1990
Idioma
Inglés
ISBN 10 
3540195815
ISBN 13 
9783540195818
Encuadernación
Tapa blanda
Número de edición
1
Número de páginas
624
Editor
Rattray Charles
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9780387195810: Specification and Verification of Concurrent Systems (Workshops in Computing)

Edición Destacada

ISBN 10:  0387195815 ISBN 13:  9780387195810
Editorial: Springer Verlag, 1990
Tapa blanda