.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Z User Workshop
. Ed(S): Bowen, Jonathan. P.; Hall, John Anthony
€ 68.71
FREE Delivery in Ireland
Description for Z User Workshop
paperback. This volume of conference papers covers a wide range of issues associated with Z and formal methods. These issues include education, standards, tool support and interaction with other design paradigms, such as real-time consideration and object-oriented approaches to development. Editor(s): Bowen, Jonathan. P.; Hall, John Anthony. Series: Workshops in Computing. Num Pages: 405 pages, 7 black & white illustrations, biography. BIC Classification: UMN; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 720.
This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particular reference to practical application. These issues include education, standards, tool support, and interaction with other design paradigms such as consideration of real-time and object-oriented approaches to development. Among the actual topics covered are: the formal specification in Z of Defence Standard 00-56; formal specification of telephone features; specifying and interpreting class hierarchies in Z; and software quality assurance using the ... Read more
This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particular reference to practical application. These issues include education, standards, tool support, and interaction with other design paradigms such as consideration of real-time and object-oriented approaches to development. Among the actual topics covered are: the formal specification in Z of Defence Standard 00-56; formal specification of telephone features; specifying and interpreting class hierarchies in Z; and software quality assurance using the ... Read more
Product Details
Format
Paperback
Publication date
1994
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
405
Condition
New
Series
Workshops in Computing
Number of Pages
405
Place of Publication
Berlin, Germany
ISBN
9783540198840
SKU
V9783540198840
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Z User Workshop