Items related to Specification and Verification of Concurrent Systems...
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1990
- ISBN 10 3540195815
- ISBN 13 9783540195818
- BindingPaperback
- Edition number1
- Number of pages620
- EditorRattray Charles
Top Search Results from the AbeBooks Marketplace
Seller Image
Specification and Verification of Concurrent Systems (Workshops in Computing) [Paperback ]
Print on Demand
Seller:
Rating
Book Description Soft Cover. Condition: new. This item is printed on demand. Seller Inventory # 9783540195818
Buy New
£ 47.20
Convert currency
Stock Image
Specification and Verification of Concurrent Systems (Workshops in Computing)
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020162144
Buy New
£ 49.23
Convert currency
Stock Image
Specification and Verification of Concurrent Systems
Published by
Springer
(1990)
ISBN 10: 3540195815
ISBN 13: 9783540195818
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540195818_lsuk
Buy New
£ 50.58
Convert currency
Stock Image
Specification and Verification of Concurrent Systems (Workshops in Computing)
Seller:
Rating
Book Description Paperback. Condition: Brand New. 620 pages. 9.61x6.70x1.41 inches. In Stock. Seller Inventory # x-3540195815
Buy New
£ 64.19
Convert currency
Seller Image
Specification and Verification of Concurrent Systems
Published by
Springer London
(1990)
ISBN 10: 3540195815
ISBN 13: 9783540195818
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: 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. Seller Inventory # 9783540195818
Buy New
£ 52.99
Convert currency
Seller Image
Specification and Verification of Concurrent Systems
Published by
Springer London
(1990)
ISBN 10: 3540195815
ISBN 13: 9783540195818
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: 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. Seller Inventory # 4884213
Buy New
£ 42.50
Convert currency
Stock Image
Specification and Verification of Concurrent Systems
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783540195818
Buy New
£ 78.13
Convert currency
Seller Image
Specification and Verification of Concurrent Systems
Published by
Springer London Jul 1990
(1990)
ISBN 10: 3540195815
ISBN 13: 9783540195818
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 624 pp. Englisch. Seller Inventory # 9783540195818
Buy New
£ 75.21
Convert currency