Stock image for illustration purposes only - book cover, edition or condition may vary.
Specification and Verification of Concurrent Systems
C. . Ed(S): Rattray
€ 68.61
FREE Delivery in Ireland
Description for Specification and Verification of Concurrent Systems
Paperback. "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. Editor(s): Rattray, C. Num Pages: 612 pages, 13 black & white illustrations, biography. BIC Classification: UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 32. Weight in Grams: 1204.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
1990
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
612
Condition
New
Number of Pages
612
Place of Publication
Berlin, Germany
ISBN
9783540195818
SKU
V9783540195818
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Specification and Verification of Concurrent Systems