.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Z User Workshop, Oxford 1990
J.E. . Ed(S): Nicholls
€ 68.53
FREE Delivery in Ireland
Description for Z User Workshop, Oxford 1990
Paperback. This volume of conference proceedings aims to provide Z users with information on new developments, such as activities in the field of object-oriented specification and design. Editor(s): Nicholls, J.E. Series: Workshops in Computing. Num Pages: 389 pages, 11 black & white illustrations, biography. BIC Classification: UMN; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 216 x 138 x 21. Weight in Grams: 687.
The approach described in [JonSl, JonS3a, JonS3b] set out to extend operation decom- position methods for sequential programs - such as are used in VDM [Jon90] - to cover concurrent shared-variable systems. The essential step in [JonSl] was to recognise that 1 inter/erence had to be specified. This is necessary in order to achieve a notion of compo- sitionality - contrast [Owi75]. Rather than the many erudite definitions of composition- ality (e. g. [ZwiSS]), the view taken here is that, when a development task is decomposed into sub-tasks, these must be simpler than the original 'task. This is easy to ... Read more
The approach described in [JonSl, JonS3a, JonS3b] set out to extend operation decom- position methods for sequential programs - such as are used in VDM [Jon90] - to cover concurrent shared-variable systems. The essential step in [JonSl] was to recognise that 1 inter/erence had to be specified. This is necessary in order to achieve a notion of compo- sitionality - contrast [Owi75]. Rather than the many erudite definitions of composition- ality (e. g. [ZwiSS]), the view taken here is that, when a development task is decomposed into sub-tasks, these must be simpler than the original 'task. This is easy to ... Read more
Product Details
Format
Paperback
Publication date
1991
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
389
Condition
New
Series
Workshops in Computing
Number of Pages
389
Place of Publication
Berlin, Germany
ISBN
9783540196723
SKU
V9783540196723
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Z User Workshop, Oxford 1990