.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Z User Workshop, London, 1992
. Ed(S): Bowen, Jonathan. P.; Nicholls, J.E.
€ 67.93
FREE Delivery in Ireland
Description for Z User Workshop, London, 1992
Paperback. Papers presented at the 7th Annual Z User Meeting, held in London in 1992. The text discusses ways in which formal methods are being introduced, presents a survey of industrial applications, and provides a reminder of the improvements needed to make these methods a part of software development. Editor(s): Bowen, Jonathan. P.; Nicholls, J.E. Series: Workshops in Computing. Num Pages: 350 pages, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 600.
The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used by industry as part of the software (and hardware) development process in both Europe and the USA. It is currently undergoing BSI standardisation in the UK, and has been proposed for ISO standardisation internationally. In recent years researchers have begun to focus increasingly on the development of techniques and tools to encourage the wider application of Z and other formal methods and notations. This volume contains papers from the Seventh Annual Z User ... Read more
The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used by industry as part of the software (and hardware) development process in both Europe and the USA. It is currently undergoing BSI standardisation in the UK, and has been proposed for ISO standardisation internationally. In recent years researchers have begun to focus increasingly on the development of techniques and tools to encourage the wider application of Z and other formal methods and notations. This volume contains papers from the Seventh Annual Z User ... Read more
Product Details
Format
Paperback
Publication date
1993
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
350
Condition
New
Series
Workshops in Computing
Number of Pages
350
Place of Publication
Berlin, Germany
ISBN
9783540198185
SKU
V9783540198185
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Z User Workshop, London, 1992