Stock image for illustration purposes only - book cover, edition or condition may vary.
6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994
N/A
€ 64.09
FREE Delivery in Ireland
Description for 6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994
paperback. The papers presented at this workshop on the theory and practice of formal software developments address the practical applications of these formal methods in commerce and industry. Series: Workshops in Computing. Num Pages: 309 pages, 1 black & white illustrations. BIC Classification: UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 17. Weight in Grams: 505.
The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. The present volume includes all of the papers which were submitted and accepted for presentation, together with two papers by invited speakers. The workshops in the series have generally occurred at one year intervals but in this last case a two year period had elapsed. These workshops have established themselves as an important event in the calendar for all those who are interested in progress in the underlying theory of refinement and in the take-up by industry of the methods supported by that ... Read more
The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. The present volume includes all of the papers which were submitted and accepted for presentation, together with two papers by invited speakers. The workshops in the series have generally occurred at one year intervals but in this last case a two year period had elapsed. These workshops have established themselves as an important event in the calendar for all those who are interested in progress in the underlying theory of refinement and in the take-up by industry of the methods supported by that ... Read more
Product Details
Format
Paperback
Publication date
1994
Publisher
Springer Germany
Number of pages
309
Condition
New
Series
Workshops in Computing
Number of Pages
309
Place of Publication
Berlin, Germany
ISBN
9783540198864
SKU
V9783540198864
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for 6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994